A new method of verification of security protocols
arXiv:1706.00269v1
Originality Synthesis-oriented
AI Analysis
This addresses the problem of ensuring security in protocols for researchers or practitioners, but it appears incremental as it builds on existing process models.
The authors tackled the problem of verifying security protocols by introducing a process model where processes are graphs with edges labeled by actions, and they presented a new method for specification and verification based on this model, but no concrete results or numbers were provided.
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.