DocumentCode :
3195631
Title :
Computing symbolic models for verifying cryptographic protocols
Author :
Fiore, Marcelo ; Abadi, Martín
Author_Institution :
University of Cambridge
fYear :
2001
fDate :
2001
Firstpage :
160
Lastpage :
173
Keywords :
Algorithm design and analysis; Computer networks; Concrete; Cryptographic protocols; Cryptography; Graphics; Information analysis; Information security; Laboratories; Polynomials;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Security Foundations Workshop, 2001. Proceedings. 14th IEEE
ISSN :
1063-6900
Print_ISBN :
0-7695-1147-3
Type :
conf
DOI :
10.1109/CSFW.2001.930144
Filename :
930144
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3195631
بازگشت