Simulation of Security Protocols based on Scenarios of Attacks
Gizela Jakubowska, Piotr Dembiński, Wojciech Penczek, Maciej Szreter · Fundamenta Informaticae · 2009
In this paper we offer a methodology allowing for simulation of security protocols, implemented in the higher-level language Estelle, using scenarios designed for external attacks. To this aim we apply a translation of specifications of security protocols from Common Syntax to Estelle and an encoding of schemes of attacks into Estelle scenarios. We show that such an intelligent simulation may efficiently serve for validating security protocols.