DocumentCode

3127752

Title

Petri nets in cryptographic protocols

Author

Crazzolara, Federico ; Winskel, Glynn

Author_Institution

University of Cambridge

fYear

2000

fDate

23-27 April 2000

Firstpage

1507

Lastpage

1515

Keywords

Authentication; Character generation; Computer science; Computer security; Cryptographic protocols; Cryptography; Data security; Laboratories; Petri nets; Public key;

fLanguage

English

Publisher

ieee

Conference_Titel

Parallel and Distributed Processing Symposium., Proceedings 15th International

Conference_Location

San Francisco, CA, USA

ISSN

1530-2075

Print_ISBN

0-7695-0990-8

Type

conf

DOI

10.1109/IPDPS.2001.925135

Filename

925135