default search action
Volkmar Lotz
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [c22]Volkmar Lotz:
Cybersecurity Certification for Agile and Dynamic Software Systems - a Process-Based Approach. EuroS&P Workshops 2020: 85-88 - [c21]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: 111-113
2010 – 2019
- 2018
- [i1]Foteini Baldimtsi, Stefan Katzenbeisser, Volkmar Lotz, Edgar R. Weippl:
Blockchains, Smart Contracts and Future Applications (Dagstuhl Seminar 18152). Dagstuhl Reports 8(4): 20-31 (2018) - 2015
- [j7]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): 709-723 (2015) - 2014
- [e7]Stefan Katzenbeisser, Volkmar Lotz, Edgar R. Weippl:
Sicherheit 2014: Sicherheit, Schutz und Zuverlässigkeit, Beiträge der 7. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 19.-21. März 2014, Wien, Österreich. LNI P-228, GI 2014, ISBN 978-3-88579-622-0 [contents] - 2013
- [j6]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) - [c20]Norbert Ritter, Makoto Takizawa
, Volkmar Lotz:
DOA-Trusted Cloud 2013 PC Co-Chairs Message. OTM Conferences 2013: 308 - [c19]Ian M. Molloy, Mahesh V. Tripunitara, Volkmar Lotz, Martin Kuhlmann, Casey Schaufler, Vijay Atluri
Panel on granularity in access control. SACMAT 2013: 85-86 - 2012
- [c18]Siani Pearson
Accountability for cloud and other future Internet services. CloudCom 2012: 629-632 - [c17]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: 105-116 - [c16]Volkmar Lotz, Samuel Paul Kaluvuri, Francesco Di Cerbo, Antonino Sabetta:
Towards Security Certification Schemas for the Internet of Services. NTMS 2012: 1-5 - [c15]Volkmar Lotz, Anderson Santana de Oliveira:
Towards Accountable Services in the Cloud. OTM Conferences (2) 2012: 470-474 - [c14]Volkmar Lotz:
Towards a Secure and Trusted Business Web. Sicherheit 2012: 4-5 - [e6]Federico Alvarez, Frances Cleary, Petros Daras, John Domingue, Alex Galis, Ana Garcia, Anastasius Gavras, Stamatis Karnouskos
The Future Internet - Future Internet Assembly 2012: From Promises to Reality. Lecture Notes in Computer Science 7281, Springer 2012, ISBN 978-3-642-30240-4 [contents] - 2011
- [e5]John Domingue
The Future Internet - Future Internet Assembly 2011: Achievements and Technological Promises. Lecture Notes in Computer Science 6656, Springer 2011, ISBN 978-3-642-20897-3 [contents] - 2010
- [c13]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:
Advanced Security Service cERTificate for SOA: Certified Services go Digital. ISSE 2010: 151-160 - [c12]Marco Anisetti
ASSERT4SOA: Toward Security Certification of Service-Oriented Applications. OTM Workshops 2010: 38-40 - [e4]Georgios Tselentis, Alex Galis, Anastasius Gavras, Srdjan Krco, Volkmar Lotz, Elena Simperl, Burkhard Stiller, Theodore B. Zahariadis:
Towards the Future Internet - Emerging Trends from European Research. IOS Press 2010, ISBN 978-1-60750-538-9 [contents]
2000 – 2009
- 2009
- [c11]Luca Compagna, Ulrich Flegel, Volkmar Lotz:
Towards Validating Security Protocol Deployment in the Wild. COMPSAC (2) 2009: 434-438 - [e3]Georgios Tselentis, John Domingue, Alex Galis, Anastasius Gavras, David Hausheer, Srdjan Krco, Volkmar Lotz, Theodore B. Zahariadis:
Towards the Future Internet - A European Research Perspective. IOS Press 2009, ISBN 978-1-60750-007-0 [contents] - 2008
- [j5]Volkmar Lotz, Emmanuel Pigout, Peter M. Fischer, Donald Kossmann, Fabio Massacci
Towards Systematic Achievement of Compliance in Service-Oriented Architectures: The MASTER Approach. Wirtschaftsinf. 50(5): 383-391 (2008) - [p1]Volkmar Lotz, Luca Compagna, Konrad S. Wrona:
Towards Adaptive Security for Ubiquitous Computing Systems. Handbook of Research on Ubiquitous Computing Technology for Real Time Enterprises 2008: 574-584 - [e2]Luca Compagna, Volkmar Lotz, Fabio Massacci:
Proceedings of the 3rd International Workshop on Security and Trust Management, STM@ESORICS 2007, Dresden, Germany, September 27, 2007. Electronic Notes in Theoretical Computer Science 197(2), Elsevier 2008 [contents] - 2007
- [j4]Volkmar Lotz:
SOA-Sicherheit für moderne Unternehmen - Anforderungen an SOA-Sicherheit auf dem Weg zum virtuellen Unternehmen. Datenschutz und Datensicherheit 31(9): 644-647 (2007) - [c10]Martin Wimmer, Martina-Cezara Albutiu, Alfons Kemper, Maarten Rits, Volkmar Lotz:
Efficient Access Control for Composite Applications. BTW 2007: 613-616 - [c9]Arnaud Dury, Sergiy Boroday, Alexandre Petrenko
Formal Verification of Business Workflows and Role Based Access Control Systems. SECURWARE 2007: 201-210 - [c8]Luca Compagna, Volkmar Lotz, Fabio Massacci
Preface. STM@ESORICS 2007: 1-2 - [e1]Volkmar Lotz, Bhavani Thuraisingham:
12th ACM Symposium on Access Control Models and Technologies, SACMAT 2007, Sophia Antipolis, France, June 20-22, 2007, Proceedings. ACM 2007, ISBN 978-1-59593-745-2 [contents] - 2006
- [b1]Antonio Mana, Volkmar Lotz:
Developing ambient intelligence - proceedings of the first international conference on ambient intelligence developments. Springer 2006, ISBN 978-2-287-47469-9, pp. I-X, 1-159 - [c7]Martin Wimmer, Alfons Kemper, Maarten Rits, Volkmar Lotz:
Consolidating the Access Control of Composite Applications and Workflows. DBSec 2006: 44-59 - [c6]Andreas Schaad, Volkmar Lotz, Karsten Sohr
A model-checking approach to analysing organisational controls in a loan origination process. SACMAT 2006: 139-149 - 2005
- [j3]David von Oheimb, Volkmar Lotz, Georg Walter:
Analyzing SLE 88 memory management security using Interacting State Machines. Int. J. Inf. Sec. 4(3): 155-171 (2005) - 2003
- [c5]David von Oheimb, Georg Walter, Volkmar Lotz:
A Formal Security Model of the Infineon SLE 88 Smart Card Memory Managment. ESORICS 2003: 217-234 - [c4]David von Oheimb, Volkmar Lotz:
Generic Interacting State Machines and Their Instantiation with Dynamic Features. ICFEM 2003: 144-166 - 2002
- [c3]David von Oheimb, Volkmar Lotz:
Formal Security Analysis with Interacting State Machines. ESORICS 2002: 212-228 - 2000
- [j2]Volkmar Lotz, Volker Kessler, Georg Walter:
A Formal Security Model for Microprocessor Hardware. IEEE Trans. Software Eng. 26(8): 702-712 (2000)
1990 – 1999
- 1999
- [c2]Volkmar Lotz, Volker Kessler, Georg Walter:
A Formal Security Model for Microprocessor Hardware. World Congress on Formal Methods 1999: 718-737 - 1997
- [j1]Volkmar Lotz:
Threat Scenarios as a Means to Formally Develop Secure Systems. J. Comput. Secur. 5(1): 31-68 (1997) - 1996
- [c1]Volkmar Lotz:
Threat Scenarios as a Means to Formally Develop Secure Systems. ESORICS 1996: 242-265
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: