Gizela Jakubowska

According to our database, Gizela Jakubowska authored at least 4 papers between 2001 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2009

Simulation of Security Protocols based on Scenarios of Attacks.

Gizela Jakubowska, Piotr Dembinski, Wojciech Penczek, Maciej Szreter

Fundam. Informaticae, 2009

2007

Modelling and Checking Timed Authentication of Security Protocols.

Gizela Jakubowska, Wojciech Penczek

Fundam. Informaticae, 2007

Is Your Security Protocol on Time ?

Gizela Jakubowska, Wojciech Penczek

Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

2001

Specification of timed authentication protocols with colored Petri nets.

Gizela Jakubowska, Marian Srebrny

Proceedings of the Advanced Computer Systems, Eighth International Conference, 2001