A Semi-Decidable Procedure for Secrecy in Cryptographic Protocols.

Jaouhar Fattahi Mohamed Mejri Hanane Houmani

Published in: CoRR (2014)

Keyphrases

cryptographic protocols
security properties
security protocols
security analysis
formal model