Journal of Computer Security · 1999 · 92 citations · 0 references
ComputingComputer ScienceFormal MethodsSecurity ProtocolsSystems ModelingExecutable System ModelsModel CheckingProtocol AnalysisProtocol VerificationSecurity Protocol VerificationCompletenessFormal Methods For Security ProtocolsFormal Verification Of Cryptographic ProtocolsModel Checking Of Security ProtocolsModel-based SecurityProtocol Formal VerificationSecurity Properties Of ProtocolsSecurity Verification
Model checking approaches to the analysis of security protocols have proved remarkably successful. The basic approach is to produce a model of a small system running the protocol, together with a model of the most general intruder who can interact wi