Volkmar Lotz

Publication Activity (10 Years)

Years Active: 1996-2020
Publications (10 Years): 4

Top Topics

Future Internet

Development Teams

Software Systems

Top Venues

OTM Conferences

EuroS&P Workshops

Publications

Volkmar Lotz
Cybersecurity Certification for Agile and Dynamic Software Systems - a Process-Based Approach. EuroS&P Workshops (2020)
Jörn Müller-Quade, Roger Gutbrod, Volkmar Lotz, Fabian Biegel, Benny Fuhry, Jeremias Mechler
SES-14: Sichere und zuverlässliche Systeme: Datensouveränität. GI-Jahrestagung (2020)
Foteini Baldimtsi, Stefan Katzenbeisser, Volkmar Lotz, Edgar R. Weippl
Blockchains, Smart Contracts and Future Applications (Dagstuhl Seminar 18152). Dagstuhl Reports 8 (4) (2018)
Volkmar Lotz, Francesco Di Cerbo, Michele Bezzi, Samuel Paul Kaluvuri, Antonino Sabetta, Slim Trabelsi
Security Certification for Service-Based Business Ecosystems. Comput. J. 58 (4) (2015)
Norbert Ritter, Makoto Takizawa, Volkmar Lotz
DOA-Trusted Cloud 2013 PC Co-Chairs Message. OTM Conferences (2013)
Volkmar Lotz, Anderson Santana de Oliveira, Jakub Sendor
Control as a Means towards Accountable Services in the Cloud. Comput. Syst. Sci. Eng. 28 (6) (2013)
Ian M. Molloy, Mahesh V. Tripunitara, Volkmar Lotz, Martin Kuhlmann, Casey Schaufler, Vijay Atluri
Panel on granularity in access control. SACMAT (2013)
Volkmar Lotz
Towards a Secure and Trusted Business Web. Sicherheit (2012)
Francesco Di Cerbo, Michele Bezzi, Samuel Paul Kaluvuri, Antonino Sabetta, Slim Trabelsi, Volkmar Lotz
Towards a Trustworthy Service Marketplace for the Future Internet. Future Internet Assembly (2012)
Volkmar Lotz, Samuel Paul Kaluvuri, Francesco Di Cerbo, Antonino Sabetta
Towards Security Certification Schemas for the Internet of Services. NTMS (2012)
Volkmar Lotz, Anderson Santana de Oliveira
Towards Accountable Services in the Cloud. OTM Conferences (2) (2012)
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
Accountability for cloud and other future Internet services. CloudCom (2012)
Marco Anisetti, Claudio Agostino Ardagna, Franco Guida, Sigrid Gürgens, Volkmar Lotz, Antonio Maña, Claudia Pandolfo, Jean-Christophe R. Pazzaglia, Gimena Pujol, George Spanoudakis
ASSERT4SOA: Toward Security Certification of Service-Oriented Applications. OTM Workshops (2010)
Jean-Christophe R. Pazzaglia, Volkmar Lotz, V. Campos Cerda, Ernesto Damiani, Claudio Agostino Ardagna, Sigrid Gürgens, Antonio Maña, Claudia Pandolfo, George Spanoudakis, Franco Guida, Renato Menicocci
Advanced Security Service cERTificate for SOA: Certified Services go Digital. ISSE (2010)
Luca Compagna, Ulrich Flegel, Volkmar Lotz
Towards Validating Security Protocol Deployment in the Wild. COMPSAC (2) (2009)
Volkmar Lotz, Emmanuel Pigout, Peter M. Fischer, Donald Kossmann, Fabio Massacci, Alexander Pretschner
Towards Systematic Achievement of Compliance in Service-Oriented Architectures: The MASTER Approach. Wirtschaftsinf. 50 (5) (2008)
Luca Compagna, Volkmar Lotz, Fabio Massacci
Preface. Electron. Notes Theor. Comput. Sci. 197 (2) (2008)
Volkmar Lotz
SOA-Sicherheit für moderne Unternehmen - Anforderungen an SOA-Sicherheit auf dem Weg zum virtuellen Unternehmen. Datenschutz und Datensicherheit 31 (9) (2007)
Arnaud Dury, Sergiy Boroday, Alexandre Petrenko, Volkmar Lotz
Formal Verification of Business Workflows and Role Based Access Control Systems. SECURWARE (2007)
Martin Wimmer, Martina-Cezara Albutiu, Alfons Kemper, Maarten Rits, Volkmar Lotz
Efficient Access Control for Composite Applications. BTW (2007)
Martin Wimmer, Alfons Kemper, Maarten Rits, Volkmar Lotz
Consolidating the Access Control of Composite Applications and Workflows. DBSec (2006)
Andreas Schaad, Volkmar Lotz, Karsten Sohr
A model-checking approach to analysing organisational controls in a loan origination process. SACMAT (2006)
David von Oheimb, Volkmar Lotz, Georg Walter
Analyzing SLE 88 memory management security using Interacting State Machines. Int. J. Inf. Sec. 4 (3) (2005)
David von Oheimb, Volkmar Lotz
Generic Interacting State Machines and Their Instantiation with Dynamic Features. ICFEM (2003)
David von Oheimb, Georg Walter, Volkmar Lotz
A Formal Security Model of the Infineon SLE 88 Smart Card Memory Managment. ESORICS (2003)
David von Oheimb, Volkmar Lotz
Formal Security Analysis with Interacting State Machines. ESORICS (2002)
Volkmar Lotz, Volker Kessler, Georg Walter
A Formal Security Model for Microprocessor Hardware. IEEE Trans. Software Eng. 26 (8) (2000)
Volkmar Lotz, Volker Kessler, Georg Walter
A Formal Security Model for Microprocessor Hardware. World Congress on Formal Methods (1999)
Volkmar Lotz
Threat Scenarios as a Means to Formally Develop Secure Systems. J. Comput. Secur. 5 (1) (1997)
Volkmar Lotz
Threat Scenarios as a Means to Formally Develop Secure Systems. ESORICS (1996)