2003 · 23 citations · 15 references
ComputingComputer ScienceCybersecurityAuthenticationFormal MethodsSecurity ProtocolsAuthentication ProtocolsCryptographic ProtocolsProtocol AnalysisProtocol VerificationSecurity Protocol VerificationAuthentication Protocol AnalysisCryptographic Protocol AnalysisFormal Methods For SecurityFormal Methods For Security ProtocolsFormal Verification Of Cryptographic ProtocolsFormal Verification Tools For Cryptographic ProtocolsProtocol LanguageProtocol Specification
The Common Authentication Protocol Specification Language (CAPSL) is a high-level language for applying formal methods to the security analysis of cryptographic protocols. Its goal is to permit a protocol to be specified once in a form that is usable as an interface to any type of analysis tool or technique, given appropriate translation software. This paper describes the first operational CAPSL translator to the language used by the NRL Protocol Analyzer (NPA), a software tool developed specifically for the analysis of cryptographic protocols.
15
On the security of public key protocols
Danny Dolev, A. Yao · IEEE Transactions on Information Theory · 1983 · 5.7K citations
Kerberos: an authentication service for computer networks
Clifford Neuman, T. Ts'o · IEEE Communications Magazine · 1994 · 1.3K citations
The Inductive Approach to Verifying Cryptographic Protocols
1998 · 842 citations