Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2019A Hardware Based Solution for Freshness of Secure Onboard Communication in Vehicles
Gürgens, Sigrid; Zelle, Daniel
Konferenzbeitrag
2016Security patterns modeling and formalization for pattern-based development of secure software systems
Hamid, Brahim; Gürgens, Sigi; Fuchs, Andreas
Zeitschriftenaufsatz
2015Generating secure service compositions
Pino, L.; Spanoudakis, G.; Fuchs, A.; Gürgens, S.
Konferenzbeitrag
2014Discovering secure service compositions
Pino, L.; Spanoudakis, G.; Fuchs, A.; Gürgens, S.
Konferenzbeitrag
2013Preserving confidentiality in component compositions
Fuchs, A.; Gürgens, S.
Konferenzbeitrag
2011Enforcing S&D pattern design in RCES with modeling and formal approaches
Hamid, B.; Gürgens, S.; Jouvray, C.; Desnos, N.
Konferenzbeitrag
2011Formal Notions of Trust and Confidentiality - Enabling Reasoning about System Security
Fuchs, Andreas; Gürgens, Sigrid; Rudolph, Carsten
Zeitschriftenaufsatz
2011Special Issue on security and dependability assurance of software architectures. Editorial
Damiani, E.; Gürgens, S.; Mana, A.; Spanoudakis, G.; Ardagna, C.A.
Editorial
2010ASSERT4SOA: Toward security certification of service-oriented applications
Anisetti, M.; Ardagna, C.A.; Guida, F.; Gürgens, S.; Lotz, V.; Mana, A.; Pandolfo, C.; Pazzaglia, J.-C.; Pujol, G.; Spanoudakis, G.
Konferenzbeitrag
2010A Formal Notion of Trust - Enabling Reasoning about Security Properties
Fuchs, Andreas; Gürgens, Sigrid; Rudolph, Carsten
Konferenzbeitrag
2010Formalization of Smart Metering requirements
Fuchs, A.; Gürgens, S.; Weber, D.; Bodenstedt, C.; Ruland, C.
Konferenzbeitrag
2010Security engineering for embedded systems - The SecFutur vision
Gürgens, S.; Rudolph, C.; Mana, A.; Nadjm-Tehrani, S.
Konferenzbeitrag
2009On the security validation of integrated security solutions
Fuchs, A.; Gürgens, S.; Rudolph, C.
Konferenzbeitrag
2009Security and Dependability Solutions for Networks and Devices
Gürgens, S.; Fuchs, A.
Aufsatz in Buch
2009Security requirements for automotive on-board networks based on dark-side scenarios
Ruddle, A.; Weyl, B.; Idrees, S.; Roudier, Y.; Friedewald, M.; Leimbach, T.; Fuchs, A.; Gürgens, S.; Henninger, O.; Rieke, R.; Ritscher, M.; Broberg, H.; Apvrille, L.; Pacalet, R.; Pedroza, G.
Bericht
2009Specification of Security and Dependability Properties
Gürgens, S.; Pujol, G.
Aufsatz in Buch
2009Towards a generic process for security pattern integration
Fuchs, A.; Gürgens, S.; Rudolph, C.
Konferenzbeitrag
2007Facilitating the use of TPM technologies through S&D pattern
Gürgens, S.; Rudolph, C.; Mana, A.; Munoz, A.
Konferenzbeitrag
2007Security evaluation of scenarios based on the TCG's TPM specification
Gürgens, S.; Rudolph, C.; Scheuermann, D.; Atts, M.; Plaga, R.
Konferenzbeitrag
2005Abstractions preserving parameter confidentiality
Gürgens, S.; Ochsenschläger, P.; Rudolph, C.
Konferenzbeitrag
2005On a formal framework for security properties
Rudolph, C.; Ochsenschläger, P.; Gürgens, S.
Zeitschriftenaufsatz
2005On the security of fair non-repudiation protocols
Gürgens, S.; Rudolph, C.; Vogt, H.
Zeitschriftenaufsatz
2005Security analysis of efficient (Un-) fair non-repudiation protocols
Rudolph, C.; Gürgens, S.
Zeitschriftenaufsatz
2003Analysis of e-commerce protocols: Adapting a traditional technique
Gürgens, S.; Lopez, J.; Peralta, R.
Zeitschriftenaufsatz
2003CASENET. One Year Later
Agudo, I.; Gürgens, S.; Lopez, J.
Konferenzbeitrag
2003On the security of fair non-repudiation protocols
Gürgens, S.; Rudolph, C.; Vogt, H.
Konferenzbeitrag
2003Parameter-confidentiality
Gürgens, S.; Ochsenschläger, P.; Rudolph, C.
Konferenzbeitrag
2003Security analysis of (un-)fair non-repudiation protocols
Gürgens, S.; Rudolph, C.
Konferenzbeitrag
2002Authenticity and provability - a formal framework
Gürgens, S.; Ochsenschläger, P.; Rudolph, C.
Konferenzbeitrag
2002Role based specification and security analysis of cryptographic protocols using asynchronous product automata
Gürgens, S.; Ochsenschläger, P.; Rudolph, C.
Konferenzbeitrag
2001Authenticity and provability - a formal framework
Gürgens, S.; Ochsenschläger, P.; Rudolph, C.
Bericht
2001Role based specification and security analysis of cryptographic protocols using asynchronous product automata
Gürgens, S.; Ochsenschläger, P.; Rudolph, C.
Bericht
2001Suitability of a classical analysis method for e-commerce protocols
Gürgens, S.; Lopez, J.
Konferenzbeitrag
2000Validation of cryptographic protocols by efficient automated testing
Gürgens, S.; Peralta, R.
Konferenzbeitrag
1999Efficient detection of failure modes in electronic commerce protocols
Gürgens, S.; Lopez, J.; Peralta, R.
Konferenzbeitrag
1999Security analysis of authentication protocols - a formal approach
Gürgens, S.
Aufsatz in Buch
1998Efficient automated testing of cryptographic protocols
Gürgens, S.; Peralta, R.
Bericht
1998SG logic - a formal analysis technique for authentication protocols
Gürgens, S.
Konferenzbeitrag
1996A formal analysis technique for authentication protocols
Gürgens, S.
Konferenzbeitrag
1996A formal analysis technique for authentication protocols
Gürgens, S.
Bericht
1995Sicherheitsanalysen mittels BAN-Logik
Gürgens, S.
Konferenzbeitrag
1994Kryptographische Aspekte beim Einsatz von Smartcards als Träger elektronischer Dokumente
Gürgens, S.
Konferenzbeitrag
1992Digitale Unterschriften und Hash-Funktionen
Herda, S.; Gürgens, S.
Aufsatz in Buch