A new method of verification of security protocols
classification
💻 cs.LO
cs.CR
keywords
protocolssecuritymethodmodelverificationactionsedgesgraphs
read the original abstract
In the paper we introduce a process model of security protocols, where processes are graphs with edges labelled by actions, and present a new method of specification and verification of security protocols based on this model.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.