Gizela Jakubowska

List of publications from the DBLP Bibliography Server - FAQ

2007

2 EE Gizela Jakubowska, Wojciech Penczek: Is Your Security Protocol on Time ? FSEN 2007: 65-80

1 EE Gizela Jakubowska, Wojciech Penczek: Modelling and Checking Timed Authentication of Security Protocols. Fundam. Inform. 79(3-4): 363-378 (2007)

2007
2	EE	Gizela Jakubowska, Wojciech Penczek: Is Your Security Protocol on Time ? FSEN 2007: 65-80
1	EE	Gizela Jakubowska, Wojciech Penczek: Modelling and Checking Timed Authentication of Security Protocols. Fundam. Inform. 79(3-4): 363-378 (2007)

Coauthor Index