Journal of Computer Security · 1998 · 317 citations · 0 references
ComputingComputer ScienceComputer SecurityFormal MethodsSecurity ProtocolsDeductive VerificationModel CheckingProcess AlgebraProtocol AnalysisProtocol VerificationSecurity Protocol VerificationAutomatic Protocol VerificationCsp Process AlgebraFormal Methods For Security ProtocolsFormal Verification Of Cryptographic ProtocolsModel Checking Of Security ProtocolsProcess Algebra For Security ProtocolsProtocol Formal VerificationSecurity Verification
In recent years, a method for analyzing security protocols using the process algebra CSP (Hoare, 1985) and its model checker FDR (Roscoe, 1994) has been developed. This technique has proved remarkably successful, and has been used to discover a numbe