Paper Info
Title
Using a PVS Embedding of CSP to Verify Authentication Protocols
Abstract
. This paper presents an application of PVS to the verificationof security protocols. The objective is to provide mechanical support fora verification method described in [14]. The PVS formalization consistsof a semantic embedding of CSP and of a collection of theorems andproof rules for reasoning about authentication properties. We present anapplication to the Needham-Schroeder public key protocol.1 IntroductionAuthentication protocols are used in insecure networks by principals who...
Year
DOI
Venue
1997
10.1007/BFb0028390
TPHOLs
Keywords
Field
DocType
pvs embedding,verify authentication protocols,security protocol,authentication protocol,public key
Specification language,Embedding,Authentication,Cryptographic protocol,Cryptography,Computer science,Algorithm,Theoretical computer science,Formal specification,Authentication protocol,Public-key cryptography
Conference
ISBN
Citations 
PageRank 
3-540-63379-0
36
2.67
References 
Authors
11
2
Name
Order
Citations
PageRank
Bruno Dutertre170447.66
Steve Schneider232326.65