Title :
An efficient cryptographic protocol verifier based on prolog rules
Author_Institution :
INRIA Rocquencourt
Keywords :
Body sensor networks; Calculus; Cryptographic protocols; Cryptography; Equations; Explosions; Logic; Security; State-space methods; Testing;
Conference_Titel :
Computer Security Foundations Workshop, 2001. Proceedings. 14th IEEE
Print_ISBN :
0-7695-1147-3
DOI :
10.1109/CSFW.2001.930138
