A new method of verification of security protocols
Logic in Computer Science
2017-06-02 v1 Cryptography and Security
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.
Keywords
Cite
@article{arxiv.1706.00269,
title = {A new method of verification of security protocols},
author = {Andrew M. Mironov},
journal= {arXiv preprint arXiv:1706.00269},
year = {2017}
}