Specification of timed authentication protocols with colored Petri nets. - Gizela Jakubowska; Marian Srebrny (ACS, 2001)

Is Your Security Protocol on Time ? - Gizela Jakubowska; Wojciech Penczek (FSEN, 2007)

Modelling and Checking Timed Authentication of Security Protocols. - Gizela Jakubowska; Wojciech Penczek (Fundam. Informaticae, 2007)

Simulation of Security Protocols based on Scenarios of Attacks. - Gizela Jakubowska; Piotr Dembinski; Wojciech Penczek; Maciej Szreter (Fundam. Informaticae, 2009)