THE VERIFICATION OF CRYPTOGRAPHIC PROTOCOLS USING COLOURED PETRI NETS

@inproceedings{AlAzzoni2004THEVO,
  title={THE VERIFICATION OF CRYPTOGRAPHIC PROTOCOLS USING COLOURED PETRI NETS},
  author={Issam Al-Azzoni},
  year={2004}
}