Sigrid Gürgens

	2011
25		Brahim Hamid, Sigrid Gürgens, Christophe Jouvray, Nicolas Desnos: Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches. MoDELS 2011: 319-333
24		Andreas Fuchs, Sigrid Gürgens, Carsten Rudolph: Formal Notions of Trust and Confidentiality- Enabling Reasoning about System Security. JIP 19: 274-291 (2011)
23		Ernesto Damiani, Sigrid Gürgens, Antonio Maña, George Spanoudakis, Claudio Agostino Ardagna: Editorial. Journal of Systems Architecture - Embedded Systems Design 57(3): 229-230 (2011)
	2010
22		Andreas Fuchs, Sigrid Gürgens, Carsten Rudolph: A Formal Notion of Trust - Enabling Reasoning about Security Properties. IFIPTM 2010: 200-215
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		Andreas Fuchs, Sigrid Gürgens, Carsten Rudolph: Towards a Generic Process for Security Pattern Integration. DEXA Workshops 2009: 171-175
19		Andreas Fuchs, Sigrid Gürgens, Carsten Rudolph: On the Security Validation of Integrated Security Solutions. SEC 2009: 190-201
18		Sigrid Gürgens, Andreas Fuchs: Security and Dependability Solutions for Networks and Devices. Security and Dependability for Ambient Intelligence 2009: 107-123
17		Sigrid Gürgens, Gimena Pujol: Specification of Security and Dependability Properties. Security and Dependability for Ambient Intelligence 2009: 49-67
	2007
16		Sigrid Gürgens, Carsten Rudolph, Antonio Maña, Antonio Muñoz: Facilitating the Use of TPM Technologies through S&D Patterns. DEXA Workshops 2007: 765-769
15		Sigrid Gürgens, Carsten Rudolph, Dirk Scheuermann, Marion Atts, Rainer Plaga: Security Evaluation of Scenarios Based on the TCG's TPM Specification. ESORICS 2007: 438-453
	2005
14		Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph: Abstractions Preserving Parameter Confidentiality. ESORICS 2005: 418-437
13		Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph: On a formal framework for security properties. Computer Standards & Interfaces 27(5): 457-466 (2005)
12		Sigrid Gürgens, Carsten Rudolph: Security analysis of efficient (Un-)fair non-repudiation protocols. Formal Asp. Comput. 17(3): 260-276 (2005)
11		Sigrid Gürgens, Carsten Rudolph, Holger Vogt: On the security of fair non-repudiation protocols. Int. J. Inf. Sec. 4(4): 253-262 (2005)
	2003
10		Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph: Parameter-Confidentiality. GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit") 2003: 383-394
9		Sigrid Gürgens, Carsten Rudolph, Holger Vogt: On the Security of Fair Non-repudiation Protocols. ISC 2003: 193-207
8		Sigrid Gürgens, Javier Lopez, René Peralta: Analysis of e-commerce protocols: Adapting a traditional technique. Int. J. Inf. Sec. 2(1): 21-36 (2003)
	2002
7		Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph: Role Based Specification and Security Analysis of Cryptographic Protocols Using Asynchronous Product Automata. DEXA Workshops 2002: 473-482
6		Sigrid Gürgens, Carsten Rudolph: Security Analysis of (Un-) Fair Non-repudiation Protocols. FASec 2002: 97-114
5		Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph: Authenticity and Provability - A Formal Framework. InfraSec 2002: 227-245
	2001
4		Sigrid Gürgens, Javier Lopez: Suitability of a Classical Analysis Method for E-commerce Protocols. ISC 2001: 46-62
	2000
3		Sigrid Gürgens, René Peralta: Validation of Cryptographic Protocols by Efficient Automated Testing. FLAIRS Conference 2000: 7-12
	1999
2		Sigrid Gürgens, Javier Lopez, René Peralta: Efficient Detection of Failure Modes in Electronic Commerce Protocols. DEXA Workshop 1999: 850-857
	1997
1		Sigrid Gürgens: SG Logic- A Formal Analysis Technique for Authentication Protocols. Security Protocols Workshop 1997: 159-176

Coauthor Index

1	Marco Anisetti	[21]
2	Claudio Agostino Ardagna	[21] [23]
3	Marion Atts	[15]
4	Ernesto Damiani	[23]
5	Nicolas Desnos	[25]
6	Andreas Fuchs	[18] [19] [20] [22] [24]
7	Franco Guida	[21]
8	Brahim Hamid	[25]
9	Christophe Jouvray	[25]
10	Javier Lopez	[2] [4] [8]
11	Volkmar Lotz	[21]
12	Antonio Maña (Antonio Maña Gómez, Antonio Mana)	[16] [21] [23]
13	Antonio Muñoz	[16]
14	Peter Ochsenschläger	[5] [7] [10] [13] [14]
15	Claudia Pandolfo	[21]
16	Jean-Christophe R. Pazzaglia	[21]
17	René Peralta	[2] [3] [8]
18	Rainer Plaga	[15]
19	Gimena Pujol	[17] [21]
20	Carsten Rudolph	[5] [6] [7] [9] [10] [11] [12] [13] [14] [15] [16] [19] [20] [22] [24]
21	Dirk Scheuermann	[15]
22	George Spanoudakis	[21] [23]
23	Holger Vogt	[9] [11]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page