Sigrid Gürgens

Publications

187

Citations

H-Index

2002

Active since

Affiliations

Fraunhofer Institute for Secure Information Technology(Current)

Fraunhofer-Gesellschaft

City, University of London

Sigrid Gürgens is an author at Fraunhofer Institute for Secure Information Technology specializing in engineering, computer science, and data security.

ORCID

Top concepts

EngineeringComputer ScienceData SecurityFormal VerificationInformation SecuritySecurityCryptographyFormal MethodsSystems EngineeringData Privacy

Publications per year

2002–2015

Publications

On a formal framework for security properties

Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph · Computer Standards & Interfaces · 2005 · 38 citations

Engineering, Information Security, Formal Methods +10

On the security of fair non-repudiation protocols

Sigrid Gürgens, Carsten Rudolph, Holger Vogt · International Journal of Information Security · 2005 · 37 citations

Engineering, Information Security, Fair Non-repudiation Protocols +8

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

Brahim Hamid, Sigrid Gürgens, Andreas Fuchs · Innovations in Systems and Software Engineering · 2015 · 27 citations · Full text

Engineering, Information Security, Security Patterns +17

Role based specification and security analysis of cryptographic protocols using asynchronous product automata

Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph · 2002 · 22 citations · Full text

Cryptographic Primitive, Engineering, Protocol Security +19

Extensions to pattern formats for cyber physical systems

Antonio Maña, Ernesto Damiani, Sigrid Gürgens et al. · 2014 · 15 citations

Hardware Security, Cyber Physical Systems, Engineering +14

Rows per page

1–5 of 9