Folgen
Volkmar Lotz
Volkmar Lotz
SAP Security Research
Bestätigte E-Mail-Adresse bei sap.com
Titel
Zitiert von
Zitiert von
Jahr
A model-checking approach to analysing organisational controls in a loan origination process
A Schaad, V Lotz, K Sohr
Proceedings of the eleventh ACM symposium on Access control models and …, 2006
1332006
Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface
J Domingue, A Galis, A Gavras, T Zahariadis, D Lambert, F Cleary, ...
1302011
Accountability for cloud and other future internet services
S Pearson, V Tountopoulos, D Catteddu, M Südholt, R Molva, C Reich, ...
4th IEEE international conference on cloud computing technology and science …, 2012
1032012
The Future Internet: Future Internet Assembly 2011: Achievements and Technological Promises
J Domingue, A Galis, A Gavras, T Zahariadis, D Lambert, F Cleary, ...
Springer Nature, 2011
842011
Key issues of a formally based process model for security engineering
R Breu, K Burger, M Hafner, J Jürjens, G Popp, G Wimmel, V Lotz
International Conference on Software and Systems Engineering and their …, 2003
592003
The Future Internet: Future Internet Assembly 2012: From Promises to Reality
F Álvarez, F Cleary, P Daras, J Domingue, A Galis, A Garcia, A Gavras, ...
Springer Nature, 2012
472012
Formal security analysis with interacting state machines
D von Oheimb, V Lotz
Computer Security—ESORICS 2002: 7th European Symposium on Research in …, 2002
462002
You’re my mate–acceptance factors for human-robot collaboration in industry
V Lotz, S Himmel, M Ziefle
Proceedings of the International Conference on Competitive Manufacturing …, 2019
342019
Towards systematic achievement of compliance in service-oriented architectures: The MASTER approach
V Lotz, E Pigout, PM Fischer, D Kossmann, F Massacci, A Pretschner
Wirtschaftsinformatik 5 (50), 383-391, 2008
332008
Threat scenarios as a means to formally develop secure systems
V Lotz
Journal of Computer Security 5 (1), 31-67, 1997
281997
Strengthening the security of machine readable documents by combining RFID and optical memory devices
A Maña, V Lotz, M Lehtonen, F Michahelles, T Staake, E Fleisch
Developing Ambient Intelligence: Proceedings of the First International …, 2006
232006
Formal verification of business workflows and role based access control systems
A Dury, S Boroday, A Petrenko, V Lotz
The International Conference on Emerging Security Information, Systems, and …, 2007
222007
Learning and adaptive fuzzy control system for smart home
A Maña, V Lotz, AM Vainio, M Valtonen, J Vanhala
Developing Ambient Intelligence: Proceedings of the First International …, 2006
222006
Security engineering for ambient intelligence: A manifesto
A Maña, C Rudolph, G Spanoudakis, V Lotz, F Massacci, M Melideo, ...
Integrating security and software engineering: Advances and future visions …, 2007
202007
A serviceware framework for designing ambient services
A Maña, V Lotz, B Hirsch, T Konnerth, A Heler, S Albayrak
Developing Ambient Intelligence: Proceedings of the First International …, 2006
192006
Consolidating the access control of composite applications and workflows
M Wimmer, A Kemper, M Rits, V Lotz
IFIP Annual Conference on Data and Applications Security and Privacy, 44-59, 2006
172006
Towards security certification schemas for the internet of services
V Lotz, SP Kaluvuri, F Di Cerbo, A Sabetta
2012 5th International Conference on New Technologies, Mobility and Security …, 2012
162012
ASSERT4SOA: Toward security certification of service-oriented applications
M Anisetti, CA Ardagna, F Guida, S Gürgens, V Lotz, A Maña, C Pandolfo, ...
On the Move to Meaningful Internet Systems: OTM 2010 Workshops: Confederated …, 2010
162010
Analyzing SLE 88 memory management security using Interacting State Machines
D Von Oheimb, V Lotz, G Walter
International Journal of Information Security 4, 155-171, 2005
152005
Resource optimization in multi-display environments with distributed grasp
A Maña, V Lotz, T Heider, M Giersich, T Kirste
Developing Ambient Intelligence: Proceedings of the First International …, 2006
122006
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20