Simulation of Security Protocols based on Scenarios of Attacks

Gizela Jakubowska, Piotr Dembinski, Wojciech Penczek, Maciej Szreter. Simulation of Security Protocols based on Scenarios of Attacks. Fundamenta Informaticae, 93(1-3):185-203, 2009. [doi]

Abstract

Abstract is missing.