DocumentCode

3195616

Title

Authenticity by typing for security protocols

Author

Gordon, Andrew D. ; Jeffrey, Alan

Author_Institution

Microsoft Research

fYear

2001

fDate

2001

Firstpage

145

Lastpage

159

Keywords

Access control; Access protocols; Authentication; Cryptographic protocols; Cryptography; Robustness; Safety; Security; Surges; Tiles;

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.930143

Filename

930143