Gizela Jakubowska

Publication Activity (10 Years)

Years Active: 2001-2009
Publications (10 Years): 0

Publications

Gizela Jakubowska, Piotr Dembinski, Wojciech Penczek, Maciej Szreter
Simulation of Security Protocols based on Scenarios of Attacks. Fundam. Informaticae 93 (1-3) (2009)
Gizela Jakubowska, Wojciech Penczek
Is Your Security Protocol on Time ? FSEN (2007)
Gizela Jakubowska, Wojciech Penczek
Modelling and Checking Timed Authentication of Security Protocols. Fundam. Informaticae 79 (3-4) (2007)
Gizela Jakubowska, Marian Srebrny
Specification of timed authentication protocols with colored Petri nets. ACS (2001)