DocumentCode :
2507895
Title :
Panel On Languages For Formal Specification Of Security Protocols
Author :
Meadows, Catherine
Author_Institution :
Naval Research Laboratory
fYear :
1997
fDate :
10-12 June 1997
Firstpage :
96
Lastpage :
96
Keywords :
Authentication; Calculus; Communication system security; Computer security; Conferences; Cryptographic protocols; Cryptography; Formal specifications; Laboratories; Specification languages;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Security Foundations Workshop, 1997. Proceedings., 10th
Conference_Location :
Rockport, MA, USA
ISSN :
1063-6900
Print_ISBN :
0-8186-7990-5
Type :
conf
DOI :
10.1109/CSFW.1997.596792
Filename :
596792
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2507895
بازگشت