default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSigrid Gürgens
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2016
[j8]Brahim Hamid
, Sigrid Gürgens, Andreas Fuchs:
Security patterns modeling and formalization for pattern-based development of secure software systems. Innov. Syst. Softw. Eng. 12(2): 109-140 (2016)- 2011
- [j7]Andreas Fuchs, Sigrid Gürgens, Carsten Rudolph:
Formal Notions of Trust and Confidentiality- Enabling Reasoning about System Security. Inf. Media Technol. 6(3): 759-776 (2011) - [j6]Andreas Fuchs, Sigrid Gürgens, Carsten Rudolph:
Formal Notions of Trust and Confidentiality- Enabling Reasoning about System Security. J. Inf. Process. 19: 274-291 (2011) - [j5]Ernesto Damiani, Sigrid Gürgens, Antonio Maña, George Spanoudakis, Claudio A. Ardagna:
Editorial. J. Syst. Archit. 57(3): 229-230 (2011) - 2005
- [j4]Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph:
On a formal framework for security properties. Comput. Stand. Interfaces 27(5): 457-466 (2005) - [j3]Sigrid Gürgens, Carsten Rudolph:
Security analysis of efficient (Un-)fair non-repudiation protocols. Formal Aspects 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) - 2003
- [j1]Sigrid Gürgens, Javier López, René Peralta:
Analysis of e-commerce protocols: Adapting a traditional technique. Int. J. Inf. Sec. 2(1): 21-36 (2003)
Conference and Workshop Papers
- 2024
- [c23]Michael Eckel, Sigrid Gürgens:
SECURA: Unified Reference Architecture for Advanced Security and Trust in Safety Critical Infrastructures. ARES 2024: 9:1-9:13 - 2018
- [c22]Sigrid Gürgens, Daniel Zelle:
A Hardware Based Solution for Freshness of Secure Onboard Communication in Vehicles. CyberICPS/SECPRE@ESORICS 2018: 53-68 - 2014
- [c21]Luca Pino, George Spanoudakis, Andreas Fuchs, Sigrid Gürgens:
Generating Secure Service Compositions. CLOSER (Selected Papers) 2014: 81-99 - [c20]Luca Pino, George Spanoudakis, Andreas Fuchs, Sigrid Gürgens:
Discovering Secure Service Compositions. CLOSER 2014: 242-253 - 2013
- [c19]Andreas Fuchs, Sigrid Gürgens:
Preserving Confidentiality in Component Compositions. SC@STAF 2013: 33-48 - 2011
- [c18]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
- [c17]Andreas Fuchs, Sigrid Gürgens, Carsten Rudolph:
A Formal Notion of Trust - Enabling Reasoning about Security Properties. IFIPTM 2010: 200-215 - [c16]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:
Advanced Security Service cERTificate for SOA: Certified Services go Digital. ISSE 2010: 151-160 - [c15]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:
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 - 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
- [c10]Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph:
Abstractions Preserving Parameter Confidentiality. ESORICS 2005: 418-437 - 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 López:
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 2000: 7-12 - 1999
- [c2]Sigrid Gürgens, Javier López, 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
Parts in Books or Collections
- 2009
- [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
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-02 01:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
