Monika Maidl

15 papers A* 2A 2B 1C 1Misc 1Journal 1Unranked 6
YearRankTypeTitle / Venue / Authors
2021 — conf
System-specific risk rating of software vulnerabilities in industrial automation & control systems.
ISSRE Workshops
Monika Maidl, Dirk Kröselberg, Tiange Zhao, Tobias Limmer
2020 — conf
Model-Based Threat Modeling for Cyber-Physical Systems: A Computer-Aided Approach.
ICSOFT (Selected Papers)
Monika Maidl, Gerhard Münz, Stefan Seltzsam, Marvin Wagner, Roman Wirtz, Maritta Heisel
2020 C conf
Threat Modeling for Cyber-Physical Systems: A Two-dimensional Taxonomy Approach for Structuring Attack Actions.
ICSOFT
Monika Maidl, Gerhard Münz, Stefan Seltzsam, Marvin Wagner, Roman Wirtz, Maritta Heisel
2019 Misc conf
Pattern-based modeling of cyber-physical systems for analyzing security.
EuroPLoP
Monika Maidl, Roman Wirtz, Tiange Zhao, Maritta Heisel, Marvin Wagner
2018 — conf
A Comprehensive Framework for Security in Engineering Projects - Based on IEC 62443.
ISSRE Workshops
Monika Maidl, Dirk Kröselberg, Jochen Christ, Kristian Beckers
2010 — conf
A Case Study in Decentralized, Dynamic, Policy-Based, Authorization and Trust Management - Automated Software Distribution for Airplanes.
STM
Peter Hartmann, Monika Maidl, David von Oheimb, Richard Robinson
2008 B conf
Formal Security Analysis of Electronic Software Distribution Systems.
SAFECOMP
Monika Maidl, David von Oheimb, Peter Hartmann, Richard Robinson
2007 — conf
Die datenschutz- und sicherheitskonforme Ausgestaltung von Location Based Services am Beispiel eines mobilen Touristenführers.
MMS
Silvio Becher, Philip Laue, Monika Maidl, Marko Modsching
2007 J jnl
Zweckbindung in ämterübergreifenden Verwaltungsworkflows - Zugriffsschutz durch feingranulare Verschlüsselung auf XML-Basis.
Datenschutz und Datensicherheit
Philip Laue, Monika Maidl, Jan Peters
2005 — conf
Choreographing Security and Performance Analysis for Web Services.
EPEW/WS-FM
Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl
2004 A conf
Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures.
IJCAR
Graham Steel, Alan Bundy, Monika Maidl
2003 A conf
Simple Representative Instantiations for Multicast Protocols.
TACAS
Javier Esparza, Monika Maidl
2001 A* conf
A Unifying Model Checking Approach for Safety Properties of Parameterized Systems.
CAV
Monika Maidl
2000 A* conf
The Common Fragment of CTL and LTL.
FOCS
Monika Maidl
2000 — —
Using model checking for system verification.
Monika Maidl