Volkmar Lotz

According to our database1, Volkmar Lotz authored at least 28 papers between 1997 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

2015
Security Certification for Service-Based Business Ecosystems.
Comput. J., 2015

2013
Control as a Means towards Accountable Services in the Cloud.
Comput. Syst. Sci. Eng., 2013

Panel on granularity in access control.
Proceedings of the 18th ACM Symposium on Access Control Models and Technologies, 2013

DOA-Trusted Cloud 2013 PC Co-Chairs Message.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2013 Conferences, 2013

2012
Towards a Secure and Trusted Business Web.
Proceedings of the Sicherheit 2012: Sicherheit, 2012

Towards Accountable Services in the Cloud.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

Towards Security Certification Schemas for the Internet of Services.
Proceedings of the 5th International Conference on New Technologies, 2012

Towards a Trustworthy Service Marketplace for the Future Internet.
Proceedings of the Future Internet, 2012

Accountability for cloud and other future Internet services.
Proceedings of the 4th IEEE International Conference on Cloud Computing Technology and Science Proceedings, 2012

2010
ASSERT4SOA: Toward Security Certification of Service-Oriented Applications.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010 Workshops, 2010

Advanced Security Service cERTificate for SOA: Certified Services go Digital.
Proceedings of the ISSE 2010, 2010

2009
Towards Validating Security Protocol Deployment in the Wild.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008
Towards Adaptive Security for Ubiquitous Computing Systems.
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.
Wirtsch., 2008

Preface.
Electron. Notes Theor. Comput. Sci., 2008

2007
SOA-Sicherheit für moderne Unternehmen - Anforderungen an SOA-Sicherheit auf dem Weg zum virtuellen Unternehmen.
Datenschutz und Datensicherheit, 2007

Formal Verification of Business Workflows and Role Based Access Control Systems.
Proceedings of the First International Conference on Emerging Security Information, 2007

Efficient Access Control for Composite Applications.
Proceedings of the Datenbanksysteme in Business, 2007

2006
A model-checking approach to analysing organisational controls in a loan origination process.
Proceedings of the 11th ACM Symposium on Access Control Models and Technologies, 2006

Consolidating the Access Control of Composite Applications and Workflows.
Proceedings of the Data and Applications Security XX, 2006

Developing ambient intelligence - proceedings of the first international conference on ambient intelligence developments.
Springer, ISBN: 978-2-287-47469-9, 2006

2005
Analyzing SLE 88 memory management security using Interacting State Machines.
Int. J. Inf. Sec., 2005

2003
Generic Interacting State Machines and Their Instantiation with Dynamic Features.
Proceedings of the Formal Methods and Software Engineering, 2003

A Formal Security Model of the Infineon SLE 88 Smart Card Memory Managment.
Proceedings of the Computer Security, 2003

2002
Formal Security Analysis with Interacting State Machines.
Proceedings of the Computer Security, 2002

2000
A Formal Security Model for Microprocessor Hardware.
IEEE Trans. Software Eng., 2000

1997
Threat Scenarios as a Means to Formally Develop Secure Systems.
J. Comput. Secur., 1997


  Loading...