Monika Maidl

According to our database, Monika Maidl authored at least 15 papers between 2000 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

System-specific risk rating of software vulnerabilities in industrial automation & control systems.

Monika Maidl, Dirk Kröselberg, Tiange Zhao, Tobias Limmer

Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

2020

Model-Based Threat Modeling for Cyber-Physical Systems: A Computer-Aided Approach.

Monika Maidl, Gerhard Münz, Stefan Seltzsam, Marvin Wagner, Roman Wirtz, Maritta Heisel

Proceedings of the Software Technologies - 15th International Conference, 2020

Threat Modeling for Cyber-Physical Systems: A Two-dimensional Taxonomy Approach for Structuring Attack Actions.

Monika Maidl, Gerhard Münz, Stefan Seltzsam, Marvin Wagner, Roman Wirtz, Maritta Heisel

Proceedings of the 15th International Conference on Software Technologies, 2020

2019

Pattern-based modeling of cyber-physical systems for analyzing security.

Monika Maidl, Roman Wirtz, Tiange Zhao, Maritta Heisel, Marvin Wagner

Proceedings of the 24th European Conference on Pattern Languages of Programs, 2019

2018

A Comprehensive Framework for Security in Engineering Projects - Based on IEC 62443.

Monika Maidl, Dirk Kröselberg, Jochen Christ, Kristian Beckers

Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

2010

A Case Study in Decentralized, Dynamic, Policy-Based, Authorization and Trust Management - Automated Software Distribution for Airplanes.

Peter Hartmann, Monika Maidl, David von Oheimb, Richard Robinson

Proceedings of the Security and Trust Management - 6th International Workshop, 2010

2008

Formal Security Analysis of Electronic Software Distribution Systems.

Monika Maidl, David von Oheimb, Peter Hartmann, Richard Robinson

Proceedings of the Computer Safety, 2008

2007

Zweckbindung in ämterübergreifenden Verwaltungsworkflows - Zugriffsschutz durch feingranulare Verschlüsselung auf XML-Basis.

Philip Laue, Monika Maidl, Jan Peters

Datenschutz und Datensicherheit, 2007

Die datenschutz- und sicherheitskonforme Ausgestaltung von Location Based Services am Beispiel eines mobilen Touristenführers.

Silvio Becher, Philip Laue, Monika Maidl, Marko Modsching

Proceedings of the MMS 2007: Mobilität und mobile Informationssysteme, 2007

2005

Choreographing Security and Performance Analysis for Web Services.

Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl

Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

2004

Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures.

Graham Steel, Alan Bundy, Monika Maidl

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

2003

Simple Representative Instantiations for Multicast Protocols.

Javier Esparza, Monika Maidl

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

2001

A Unifying Model Checking Approach for Safety Properties of Parameterized Systems.

Monika Maidl

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

Using model checking for system verification.

Monika Maidl

PhD thesis, 2000

The Common Fragment of CTL and LTL.

Monika Maidl

Proceedings of the 41st Annual Symposium on Foundations of Computer Science, 2000