IEEE Security & Privacy · 2014 · 29 citations · 11 references
ComputingComputer ScienceComputer SecurityCryptographySecurity ProtocolsAuthentication ProtocolsCryptographic Protocol DesignCryptographic ProtocolsProtocol VerificationSecurity Protocol VerificationSecurity StandardsCryptographic StandardsFormal Methods For SecurityFormal Methods For Security ProtocolsFormal Verification Of Cryptographic ProtocolsFormal Verification Of Security PropertiesProtocol Flaw DetectionSecure Protocol DesignSecurity Properties Of Protocols
Despite being carefully designed, cryptographic protocol standards often turn out to be flawed. Integrating unambiguous security properties, clear threat models, and formal methods into the standardization process can improve protocol security.
11
On the security of public key protocols
Danny Dolev, A. Yao · IEEE Transactions on Information Theory · 1983 · 5.7K citations
A hierarchy of authentication specifications
Gavin Lowe · 2002 · 618 citations
Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties
Benedikt Schmidt, Simon Meier-Vieracker, Cas Cremers et al. · 2012 · 215 citations