Security Properties Verification of Security Protocols
Martin Tomášek · Acta Electrotechnica et Informatica · 2014
We introduce security protocols by analyzing and verifying their properties.We use spi-calculus, an extension of the π-calculus, that enables us to consider cryptographic issues in more details.In this work we represent the security protocol as a process and we use the behavioral equivalences for describing secrecy and authenticity properties.Our goal is to design the practical procedure for verification of security protocols.