Gizela Jakubowska Piotr Dembinski Wojciech Penczek Maciej Szreter Simulation of Security Protocols based on Scenarios of Attacks. 185-203 2009 93 Fundam. Inform. 1-3 http://dx.doi.org/10.3233/FI-2009-0096 db/journals/fuin/fuin93.html#JakubowskaDPS09