Search the dblp DataBase

Publications of Author

1. Graham Steel, Alan Bundy, Monika Maidl
   Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures. [Citation Graph (0, 0)][DBLP]
   IJCAR, 2004, pp:137-151 [Conf]
   
2. Monika Maidl
   A Unifying Model Checking Approach for Safety Properties of Parameterized Systems. [Citation Graph (0, 0)][DBLP]
   CAV, 2001, pp:311-323 [Conf]
   
3. Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl
   Choreographing Security and Performance Analysis for Web Services. [Citation Graph (0, 0)][DBLP]
   EPEW/WS-FM, 2005, pp:200-214 [Conf]
   
4. Monika Maidl
   The Common Fragment of CTL and LTL. [Citation Graph (0, 0)][DBLP]
   FOCS, 2000, pp:643-652 [Conf]
   
5. Javier Esparza, Monika Maidl
   Simple Representative Instantiations for Multicast Protocols. [Citation Graph (0, 0)][DBLP]
   TACAS, 2003, pp:128-143 [Conf]
   
6. Silvio Becher, Philip Laue, Monika Maidl, Marko Modsching
   Die datenschutz- und sicherheitskonforme Ausgestaltung von Location Based Services am Beispiel eines mobilen Touristenführers. [Citation Graph (0, 0)][DBLP]
   MMS, 2007, pp:85-96 [Conf]
   
7. 
   Formal Security Analysis of Electronic Software Distribution Systems. [Citation Graph (, )][DBLP]