- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| j6 |      | Andreas Fuchs, Sigrid Gürgens, Carsten Rudolph: Formal Notions of Trust and Confidentiality- Enabling Reasoning about System Security. JIP 19: 274-291 (2011) |
| j5 | | 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) |
| c17 | | 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 |
| 2010 | ||
| c16 | | Andreas Fuchs, Sigrid Gürgens, Carsten Rudolph: A Formal Notion of Trust - Enabling Reasoning about Security Properties. IFIPTM 2010: 200-215 |
| c15 | | 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 | ||
| c14 | | Andreas Fuchs, Sigrid Gürgens, Carsten Rudolph: Towards a Generic Process for Security Pattern Integration. DEXA Workshops 2009: 171-175 |
| c13 | | Andreas Fuchs, Sigrid Gürgens, Carsten Rudolph: On the Security Validation of Integrated Security Solutions. SEC 2009: 190-201 |
| p2 | | Sigrid Gürgens, Gimena Pujol: Specification of Security and Dependability Properties. Security and Dependability for Ambient Intelligence 2009: 49-67 |
| p1 | | Sigrid Gürgens, Andreas Fuchs: Security and Dependability Solutions for Networks and Devices. Security and Dependability for Ambient Intelligence 2009: 107-123 |
| 2007 | ||
| c12 | | 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 |
| c11 | | 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 | ||
| j4 | | Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph: On a formal framework for security properties. Computer Standards & Interfaces 27(5): 457-466 (2005) |
| j3 | | Sigrid Gürgens, Carsten Rudolph: Security analysis of efficient (Un-)fair non-repudiation protocols. Formal Asp. Comput. 17(3): 260-276 (2005) |
| j2 | | Sigrid Gürgens, Carsten Rudolph, Holger Vogt: On the security of fair non-repudiation protocols. Int. J. Inf. Sec. 4(4): 253-262 (2005) |
| c10 | | Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph: Abstractions Preserving Parameter Confidentiality. ESORICS 2005: 418-437 |
| 2003 | ||
| j1 | | 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) |
| c9 | | Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph: Parameter-Confidentiality. GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit") 2003: 383-394 |
| c8 | | Sigrid Gürgens, Carsten Rudolph, Holger Vogt: On the Security of Fair Non-repudiation Protocols. ISC 2003: 193-207 |
| 2002 | ||
| c7 | | 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 |
| c6 | | Sigrid Gürgens, Carsten Rudolph: Security Analysis of (Un-) Fair Non-repudiation Protocols. FASec 2002: 97-114 |
| c5 | | Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph: Authenticity and Provability - A Formal Framework. InfraSec 2002: 227-245 |
| 2001 | ||
| c4 | | Sigrid Gürgens, Javier Lopez: Suitability of a Classical Analysis Method for E-commerce Protocols. ISC 2001: 46-62 |
| 2000 | ||
| c3 | | Sigrid Gürgens, René Peralta: Validation of Cryptographic Protocols by Efficient Automated Testing. FLAIRS Conference 2000: 7-12 |
| 1999 | ||
| c2 | | Sigrid Gürgens, Javier Lopez, René Peralta: Efficient Detection of Failure Modes in Electronic Commerce Protocols. DEXA Workshop 1999: 850-857 |
| 1997 | ||
| c1 | | Sigrid Gürgens: SG Logic- A Formal Analysis Technique for Authentication Protocols. Security Protocols Workshop 1997: 159-176 |
Colors in the list of coauthors
Last update Sat May 25 05:40:31 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page