DocumentCode

3195525

Title

An efficient cryptographic protocol verifier based on prolog rules

Author

Blanchet, Bruno

Author_Institution

INRIA Rocquencourt

fYear

2001

fDate

2001

Firstpage

82

Lastpage

96

Keywords

Body sensor networks; Calculus; Cryptographic protocols; Cryptography; Equations; Explosions; Logic; Security; State-space methods; Testing;

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

Filename

930138