Title :
Authenticity by typing for security protocols
Author :
Gordon, Andrew D. ; Jeffrey, Alan
Author_Institution :
Microsoft Research
Keywords :
Access control; Access protocols; Authentication; Cryptographic protocols; Cryptography; Robustness; Safety; Security; Surges; Tiles;
Conference_Titel :
Computer Security Foundations Workshop, 2001. Proceedings. 14th IEEE
Print_ISBN :
0-7695-1147-3
DOI :
10.1109/CSFW.2001.930143
