Gizela Jakubowska Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGizela Jakubowska, Piotr Dembinski, Wojciech Penczek, Maciej Szreter: Simulation of Security Protocols based on Scenarios of Attacks. Fundam. Inform. 93(1-3): 185-203 (2009)
2007
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGizela Jakubowska, Wojciech Penczek: Is Your Security Protocol on Time ? FSEN 2007: 65-80
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGizela Jakubowska, Wojciech Penczek: Modelling and Checking Timed Authentication of Security Protocols. Fundam. Inform. 79(3-4): 363-378 (2007)

Coauthor Index

1Piotr Dembinski [3]
2Wojciech Penczek [1] [2] [3]
3Maciej Szreter [3]

Copyright © Sat Nov 28 20:06:51 2009 by Michael Ley (ley@uni-trier.de)