Volkmar Lotz

	2012
26		Federico Alvarez, Frances Cleary, Petros Daras, John Domingue, Alex Galis, Ana Garcia, Anastasius Gavras, Stamatis Karnouskos, Srdjan Krco, Man-Sze Li, Volkmar Lotz, Henning Müller, Elio Salvadori, Anne-Marie Sassen, Hans Schaffers, Burkhard Stiller, Georgios Tselentis, Petra Turkama, Theodore B. Zahariadis: The Future Internet - Future Internet Assembly 2012: From Promises to Reality Springer 2012
25		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
24		Volkmar Lotz: Towards a Secure and Trusted Business Web. Sicherheit 2012: 4-5
	2011
23		John Domingue, Alex Galis, Anastasius Gavras, Theodore Zahariadis, Dave Lambert, Frances Cleary, Petros Daras, Srdjan Krco, Henning Müller, Man-Sze Li, Hans Schaffers, Volkmar Lotz, Federico Alvarez, Burkhard Stiller, Stamatis Karnouskos, Susanna Avessta, Michael Nilsson: The Future Internet - Future Internet Assembly 2011: Achievements and Technological Promises Springer 2011
	2010
22		Georgios Tselentis, Alex Galis, Anastasius Gavras, Srdjan Krco, Volkmar Lotz, Elena Paslaru Bontas Simperl, Burkhard Stiller, Theodore Zahariadis: Towards the Future Internet - Emerging Trends from European Research IOS Press 2010
21		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: 38-40
	2009
20		Georgios Tselentis, John Domingue, Alex Galis, Anastasius Gavras, David Hausheer, Srdjan Krco, Volkmar Lotz, Theodore Zahariadis: Towards the Future Internet - A European Research Perspective IOS Press 2009
19		Luca Compagna, Ulrich Flegel, Volkmar Lotz: Towards Validating Security Protocol Deployment in the Wild. COMPSAC (2) 2009: 434-438
	2008
18		Volkmar Lotz, Luca Compagna, Konrad Wrona: Towards Adaptive Security for Ubiquitous Computing Systems. Handbook of Research on Ubiquitous Computing Technology for Real Time Enterprises 2008: 574-584
17		Luca Compagna, Volkmar Lotz, Fabio Massacci: Preface. Electr. Notes Theor. Comput. Sci. 197(2): 1-2 (2008)
16		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. Wirtschaftsinformatik 50(5): 383-391 (2008)
	2007
15		Volkmar Lotz, Bhavani M. Thuraisingham: SACMAT 2007, 12th ACM Symposium on Access Control Models and Technologies, Sophia Antipolis, France, June 20-22, 2007, Proceedings ACM 2007
14		Martin Wimmer, Martina-Cezara Albutiu, Alfons Kemper, Maarten Rits, Volkmar Lotz: Efficient Access Control for Composite Applications. BTW 2007: 613-616
13		Arnaud Dury, Sergiy Boroday, Alexandre Petrenko, Volkmar Lotz: Formal Verification of Business Workflows and Role Based Access Control Systems. SECURWARE 2007: 201-210
12		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)
	2006
11		Antonio Mana, Volkmar Lotz: Developing ambient intelligence - proceedings of the first international conference on ambient intelligence developments. Springer 2006: I-X, 1-159
10		Martin Wimmer, Alfons Kemper, Maarten Rits, Volkmar Lotz: Consolidating the Access Control of Composite Applications and Workflows. DBSec 2006: 44-59
9		Andreas Schaad, Volkmar Lotz, Karsten Sohr: A model-checking approach to analysing organisational controls in a loan origination process. SACMAT 2006: 139-149
	2005
8		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
7		David von Oheimb, Georg Walter, Volkmar Lotz: A Formal Security Model of the Infineon SLE 88 Smart Card Memory Managment. ESORICS 2003: 217-234
6		David von Oheimb, Volkmar Lotz: Generic Interacting State Machines and Their Instantiation with Dynamic Features. ICFEM 2003: 144-166
	2002
5		David von Oheimb, Volkmar Lotz: Formal Security Analysis with Interacting State Machines. ESORICS 2002: 212-228
	2000
4		Volkmar Lotz, Volker Kessler, Georg Walter: A Formal Security Model for Microprocessor Hardware. IEEE Trans. Software Eng. 26(8): 702-712 (2000)
	1999
3		Volkmar Lotz, Volker Kessler, Georg Walter: A Formal Security Model for Microprocessor Hardware. World Congress on Formal Methods 1999: 718-737
	1997
2		Volkmar Lotz: Threat Scenarios as a Means to Formally Develop Secure Systems. Journal of Computer Security 5(1): 31-68 (1997)
	1996
1		Volkmar Lotz: Threat Scenarios as a Means to Formally Develop Secure Systems. ESORICS 1996: 242-265

Coauthor Index

1	Martina-Cezara Albutiu	[14]
2	Federico Alvarez	[23] [26]
3	Marco Anisetti	[21]
4	Claudio Agostino Ardagna	[21]
5	Susanna Avessta	[23]
6	Michele Bezzi	[25]
7	Sergiy Boroday	[13]
8	Francesco Di Cerbo	[25]
9	Frances Cleary	[23] [26]
10	Luca Compagna	[17] [18] [19]
11	Petros Daras	[23] [26]
12	John Domingue	[20] [23] [26]
13	Arnaud Dury	[13]
14	Peter M. Fischer	[16]
15	Ulrich Flegel	[19]
16	Alex Galis	[20] [22] [23] [26]
17	Ana Garcia	[26]
18	Anastasius Gavras	[20] [22] [23] [26]
19	Franco Guida	[21]
20	Sigrid Gürgens	[21]
21	David Hausheer	[20]
22	Samuel Paul Kaluvuri	[25]
23	Stamatis Karnouskos	[23] [26]
24	Alfons Kemper	[10] [14]
25	Volker Kessler	[3] [4]
26	Donald Kossmann	[16]
27	Srdjan Krco	[20] [22] [23] [26]
28	Dave Lambert	[23]
29	Man-Sze Li	[23] [26]
30	Antonio Maña (Antonio Maña Gómez, Antonio Mana)	[11] [21]
31	Fabio Massacci	[16] [17]
32	Henning Müller	[23] [26]
33	Michael Nilsson	[23]
34	David von Oheimb	[5] [6] [7] [8]
35	Claudia Pandolfo	[21]
36	Jean-Christophe R. Pazzaglia	[21]
37	Alexandre Petrenko	[13]
38	Emmanuel Pigout	[16]
39	Alexander Pretschner	[16]
40	Gimena Pujol	[21]
41	Maarten Rits	[10] [14]
42	Antonino Sabetta	[25]
43	Elio Salvadori	[26]
44	Anne-Marie Sassen	[26]
45	Andreas Schaad	[9]
46	Hans Schaffers	[23] [26]
47	Elena Paslaru Bontas Simperl (Elena Paslaru Bontas, Elena Simperl)	[22]
48	Karsten Sohr	[9]
49	George Spanoudakis	[21]
50	Burkhard Stiller	[22] [23] [26]
51	Bhavani M. Thuraisingham	[15]
52	Slim Trabelsi	[25]
53	Georgios Tselentis	[20] [22] [26]
54	Petra Turkama	[26]
55	Georg Walter	[3] [4] [7] [8]
56	Martin Wimmer	[10] [14]
57	Konrad Wrona	[18]
58	Theodore B. Zahariadis (Theodore Zahariadis)	[20] [22] [23] [26]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page