Sigrid Gürgens

According to our database, Sigrid Gürgens authored at least 30 papers between 1997 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2018

A Hardware Based Solution for Freshness of Secure Onboard Communication in Vehicles.

Sigrid Gürgens, Daniel Zelle

Proceedings of the Computer Security - ESORICS 2018 International Workshops, 2018

2016

Security patterns modeling and formalization for pattern-based development of secure software systems.

Brahim Hamid, Sigrid Gürgens, Andreas Fuchs

Innov. Syst. Softw. Eng., 2016

2014

Generating Secure Service Compositions.

Luca Pino, George Spanoudakis, Andreas Fuchs, Sigrid Gürgens

Proceedings of the Cloud Computing and Services Sciences, 2014

Discovering Secure Service Compositions.

Luca Pino, George Spanoudakis, Andreas Fuchs, Sigrid Gürgens

Proceedings of the CLOSER 2014, 2014

2013

Preserving Confidentiality in Component Compositions.

Andreas Fuchs, Sigrid Gürgens

Proceedings of the Software Composition - 12th International Conference, 2013

2011

Editorial.

Ernesto Damiani, Sigrid Gürgens, Antonio Maña, George Spanoudakis, Claudio A. Ardagna

J. Syst. Archit., 2011

Formal Notions of Trust and Confidentiality- Enabling Reasoning about System Security.

Andreas Fuchs, Sigrid Gürgens, Carsten Rudolph

J. Inf. Process., 2011

Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches.

Brahim Hamid, Sigrid Gürgens, Christophe Jouvray, Nicolas Desnos

Proceedings of the Model Driven Engineering Languages and Systems, 2011

2010

ASSERT4SOA: Toward Security Certification of Service-Oriented Applications.

Marco Anisetti, Claudio A. Ardagna, Franco Guida, Sigrid Gürgens, Volkmar Lotz, Antonio Maña, Claudia Pandolfo, Jean-Christophe R. Pazzaglia, Gimena Pujol, George Spanoudakis

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010 Workshops, 2010

Advanced Security Service cERTificate for SOA: Certified Services go Digital.

Jean-Christophe R. Pazzaglia, Volkmar Lotz, V. Campos Cerda, Ernesto Damiani, Claudio A. Ardagna, Sigrid Gürgens, Antonio Maña, Claudia Pandolfo, George Spanoudakis, Franco Guida, Renato Menicocci

Proceedings of the ISSE 2010, 2010

A Formal Notion of Trust - Enabling Reasoning about Security Properties.

Andreas Fuchs, Sigrid Gürgens, Carsten Rudolph

Proceedings of the Trust Management IV - 4th IFIP WG 11.11 International Conference, 2010

2009

Specification of Security and Dependability Properties.

Sigrid Gürgens, Gimena Pujol

Proceedings of the Security and Dependability for Ambient Intelligence, 2009

Security and Dependability Solutions for Networks and Devices.

Sigrid Gürgens, Andreas Fuchs

Proceedings of the Security and Dependability for Ambient Intelligence, 2009

On the Security Validation of Integrated Security Solutions.

Andreas Fuchs, Sigrid Gürgens, Carsten Rudolph

Proceedings of the Emerging Challenges for Security, 2009

Towards a Generic Process for Security Pattern Integration.

Andreas Fuchs, Sigrid Gürgens, Carsten Rudolph

Proceedings of the Database and Expert Systems Applications, 2009

2007

Security Evaluation of Scenarios Based on the TCG's TPM Specification.

Sigrid Gürgens, Carsten Rudolph, Dirk Scheuermann, Marion Atts, Rainer Plaga

Proceedings of the Computer Security, 2007

Facilitating the Use of TPM Technologies through S&D Patterns.

Sigrid Gürgens, Carsten Rudolph, Antonio Maña, Antonio Muñoz

Proceedings of the 18th International Workshop on Database and Expert Systems Applications (DEXA 2007), 2007

2005

On the security of fair non-repudiation protocols.

Sigrid Gürgens, Carsten Rudolph, Holger Vogt

Int. J. Inf. Sec., 2005

Security analysis of efficient (Un-)fair non-repudiation protocols.

Sigrid Gürgens, Carsten Rudolph

Formal Aspects Comput., 2005

On a formal framework for security properties.

Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph

Comput. Stand. Interfaces, 2005

Abstractions Preserving Parameter Confidentiality.

Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph

Proceedings of the Computer Security, 2005

2003

Analysis of e-commerce protocols: Adapting a traditional technique.

Sigrid Gürgens, Javier López, René Peralta

Int. J. Inf. Sec., 2003

Parameter-Confidentiality.

Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph

Proceedings of the 33. Jahrestagung der Gesellschaft für Informatik, Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit", INFORMATIK 2003 - Mit Sicherheit Informatik, Frankfurt am Main, Germany, September 29, 2003

2002

Authenticity and Provability - A Formal Framework.

Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph

Proceedings of the Infrastructure Security, International Conference, 2002

Security Analysis of (Un-) Fair Non-repudiation Protocols.

Sigrid Gürgens, Carsten Rudolph

Proceedings of the Formal Aspects of Security, First International Conference, 2002

Role Based Specification and Security Analysis of Cryptographic Protocols Using Asynchronous Product Automata.

Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph

Proceedings of the 13th International Workshop on Database and Expert Systems Applications (DEXA 2002), 2002

2001

Suitability of a Classical Analysis Method for E-commerce Protocols.

Sigrid Gürgens, Javier López

Proceedings of the Information Security, 4th International Conference, 2001

2000

Validation of Cryptographic Protocols by Efficient Automated Testing.

Sigrid Gürgens, René Peralta

Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference, 2000

1999

Efficient Detection of Failure Modes in Electronic Commerce Protocols.

Sigrid Gürgens, Javier López, René Peralta

Proceedings of the 10th International Workshop on Database & Expert Systems Applications, 1999

1997

SG Logic- A Formal Analysis Technique for Authentication Protocols.

Sigrid Gürgens

Proceedings of the Security Protocols, 1997