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) |
1 | Wojciech Penczek | [1] [2] |