Volkmar Lotz

According to our database, Volkmar Lotz authored at least 30 papers between 1997 and 2020.

Collaborative distances:

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

2020

SES-14: Sichere und zuverlässliche Systeme: Datensouveränität.

Jörn Müller-Quade, Roger Gutbrod, Volkmar Lotz, Fabian Biegel, Benny Fuhry, Jeremias Mechler

Proceedings of the 50. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2020 - Back to the Future, Karlsruhe, Germany, 28. September, 2020

Cybersecurity Certification for Agile and Dynamic Software Systems - a Process-Based Approach.

Volkmar Lotz

Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2020

2018

Blockchains, Smart Contracts and Future Applications (Dagstuhl Seminar 18152).

Foteini Baldimtsi, Stefan Katzenbeisser, Volkmar Lotz, Edgar R. Weippl

Dagstuhl Reports, 2018

2015

Security Certification for Service-Based Business Ecosystems.

Volkmar Lotz, Francesco Di Cerbo, Michele Bezzi, Samuel Paul Kaluvuri, Antonino Sabetta, Slim Trabelsi

Comput. J., 2015

2013

Control as a Means towards Accountable Services in the Cloud.

Volkmar Lotz, Anderson Santana de Oliveira, Jakub Sendor

Comput. Syst. Sci. Eng., 2013

Panel on granularity in access control.

Ian M. Molloy, Mahesh V. Tripunitara, Volkmar Lotz, Martin Kuhlmann, Casey Schaufler, Vijay Atluri

Proceedings of the 18th ACM Symposium on Access Control Models and Technologies, 2013

DOA-Trusted Cloud 2013 PC Co-Chairs Message.

Norbert Ritter, Makoto Takizawa, Volkmar Lotz

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2013 Conferences, 2013

2012

Towards a Secure and Trusted Business Web.

Volkmar Lotz

Proceedings of the Sicherheit 2012: Sicherheit, 2012

Towards Accountable Services in the Cloud.

Volkmar Lotz, Anderson Santana de Oliveira

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

Towards Security Certification Schemas for the Internet of Services.

Volkmar Lotz, Samuel Paul Kaluvuri, Francesco Di Cerbo, Antonino Sabetta

Proceedings of the 5th International Conference on New Technologies, 2012

Towards a Trustworthy Service Marketplace for the Future Internet.

Francesco Di Cerbo, Michele Bezzi, Samuel Paul Kaluvuri, Antonino Sabetta, Slim Trabelsi, Volkmar Lotz

Proceedings of the Future Internet, 2012

Accountability for cloud and other future Internet services.

Siani Pearson, Vasilios Tountopoulos, Daniele Catteddu, Mario Südholt, Refik Molva, Christoph Reich, Simone Fischer-Hübner, Christopher Millard, Volkmar Lotz, Martin Gilje Jaatun, Ronald Leenes, Chunming Rong, Javier López

Proceedings of the 4th IEEE International Conference on Cloud Computing Technology and Science Proceedings, 2012

2010

ASSERT4SOA: Toward Security Certification of Service-Oriented Applications.

Marco Anisetti, Claudio A. Ardagna, Franco Guida, Sigrid Gürgens, Volkmar Lotz, Antonio Maña, Claudia Pandolfo, Jean-Christophe R. Pazzaglia, Gimena Pujol, George Spanoudakis

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010 Workshops, 2010

Advanced Security Service cERTificate for SOA: Certified Services go Digital.

Jean-Christophe R. Pazzaglia, Volkmar Lotz, V. Campos Cerda, Ernesto Damiani, Claudio A. Ardagna, Sigrid Gürgens, Antonio Maña, Claudia Pandolfo, George Spanoudakis, Franco Guida, Renato Menicocci

Proceedings of the ISSE 2010, 2010

2009

Towards Validating Security Protocol Deployment in the Wild.

Luca Compagna, Ulrich Flegel, Volkmar Lotz

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008

Towards Adaptive Security for Ubiquitous Computing Systems.

Volkmar Lotz, Luca Compagna, Konrad S. Wrona

Proceedings of the Handbook of Research on Ubiquitous Computing Technology for Real Time Enterprises, 2008

Towards Systematic Achievement of Compliance in Service-Oriented Architectures: The MASTER Approach.

Volkmar Lotz, Emmanuel Pigout, Peter M. Fischer, Donald Kossmann, Fabio Massacci, Alexander Pretschner

Wirtschaftsinf., 2008

2007

Preface.

Luca Compagna, Volkmar Lotz, Fabio Massacci

Proceedings of the 3rd International Workshop on Security and Trust Management, 2007

SOA-Sicherheit für moderne Unternehmen - Anforderungen an SOA-Sicherheit auf dem Weg zum virtuellen Unternehmen.

Volkmar Lotz

Datenschutz und Datensicherheit, 2007

Formal Verification of Business Workflows and Role Based Access Control Systems.

Arnaud Dury, Sergiy Boroday, Alexandre Petrenko, Volkmar Lotz

Proceedings of the First International Conference on Emerging Security Information, 2007

Efficient Access Control for Composite Applications.

Martin Wimmer, Martina-Cezara Albutiu, Alfons Kemper, Maarten Rits, Volkmar Lotz

Proceedings of the Datenbanksysteme in Business, 2007

2006

A model-checking approach to analysing organisational controls in a loan origination process.

Andreas Schaad, Volkmar Lotz, Karsten Sohr

Proceedings of the 11th ACM Symposium on Access Control Models and Technologies, 2006

Consolidating the Access Control of Composite Applications and Workflows.

Martin Wimmer, Alfons Kemper, Maarten Rits, Volkmar Lotz

Proceedings of the Data and Applications Security XX, 2006

Developing ambient intelligence - proceedings of the first international conference on ambient intelligence developments.

Antonio Mana, Volkmar Lotz

Springer, ISBN: 978-2-287-47469-9, 2006

2005

Analyzing SLE 88 memory management security using Interacting State Machines.

David von Oheimb, Volkmar Lotz, Georg Walter

Int. J. Inf. Sec., 2005

2003

Generic Interacting State Machines and Their Instantiation with Dynamic Features.

David von Oheimb, Volkmar Lotz

Proceedings of the Formal Methods and Software Engineering, 2003

A Formal Security Model of the Infineon SLE 88 Smart Card Memory Managment.

David von Oheimb, Georg Walter, Volkmar Lotz

Proceedings of the Computer Security, 2003

2002

Formal Security Analysis with Interacting State Machines.

David von Oheimb, Volkmar Lotz

Proceedings of the Computer Security, 2002

2000

A Formal Security Model for Microprocessor Hardware.

Volkmar Lotz, Volker Kessler, Georg Walter

IEEE Trans. Software Eng., 2000

1997

Threat Scenarios as a Means to Formally Develop Secure Systems.

Volkmar Lotz

J. Comput. Secur., 1997