Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2004Implementierung von Security Policies in offenen Telekollaborationen
Herfert, M.; Schmidt, A.U.; Ochsenschläger, P.; Repp, J.; Rieke, R.; Schmucker, M.; Vettermann, S.; Böttge, U.; Escaleira, C.; Rüdiger, D.
Konferenzbeitrag
2004Tool based formal modelling, analysis and visualisation of enterprise network vulnerabilities utilising attack graph exploration
Rieke, R.
Konferenzbeitrag
2003A business process-driven approach to security engineering
Mana, A.; Montenegro, J.A.; Rudolph, C.; Vivas, J.L.
Konferenzbeitrag
2003Context-dependent access control for web-based collaboration environments with role-based approach
Wolf, R.; Schneider, M.
Konferenzbeitrag
2003Parameter-confidentiality
Gürgens, S.; Ochsenschläger, P.; Rudolph, C.
Konferenzbeitrag
2002An approach to formalize object interactions in distributed real-time systems
Mock, M.
Konferenzbeitrag
2000Binding telecooperation. A formal model for electronic commerce
Grimm, R.; Ochsenschläger, P.
Bericht
2000Considering non-malleability in formal models for cryptographic protocols
Rudolph, C.
Konferenzbeitrag
199925 years GMD Darmstadt
 
Buch
1999Efficient detection of failure modes in electronic commerce protocols
Gürgens, S.; Lopez, J.; Peralta, R.
Konferenzbeitrag
1999The SH-Verification Tool, Abstraction-Based Verification of Co-operating Systems, Formal Aspects of Computing
Ochsenschläger, P.; Repp, J.; Rieke, R.; Nitsche, U.
Zeitschriftenaufsatz
1999Sicherheitsanalyse von Authentifizierungsprotokollen - model checking mit dem SH-Verifikation Tool
Basak, G.
Diplomarbeit
1999Verbindliche Telekooperation - Ein Modell für Electronic Commerce auf Basis formaler Sprachen
Grimm, R.; Ochsenschläger, P.
Konferenzbeitrag
1998Efficient automated testing of cryptographic protocols
Gürgens, S.; Peralta, R.
Bericht
1998Qualitative notions of testability
Wiland, H.; Baumgarten, B.
Konferenzbeitrag
1997Mathematical aspects of specification theory
Baumgarten, B.
Buch
1997Die Produktnetzmaschine und das SH-Verification Tool
Ochsenschläger, P.; Repp, J.; Rieke, R.
Aufsatz in Buch
1997Schlichte Homomorphismen auf präfixstabilen partiell kommutativen Sprachen
Ochsenschläger, P.
Buch
1997The SH-verification tool, instruments for verifying co-operation systems
Ochsenschläger, P.; Repp, J.; Rieke, R.; Nitsche, U.
Konferenzbeitrag
1996Approximately satisfied properties of systems and simple language homomorphisms
Nitsche, U.; Ochsenschläger, P.
Zeitschriftenaufsatz
1996Case study: Service interaction detection by formal verification under behaviour abstraction
Cappellmann, C.; Demant, R.; Galvez-Estrada, R.; Nitsche, U.; Ochsenschläger, P.
Konferenzbeitrag
1996A formal analysis technique for authentication protocols
Gürgens, S.
Konferenzbeitrag
1996A formal analysis technique for authentication protocols
Gürgens, S.
Bericht
1996Kooperationsprodukte formaler Sprachen und schlichte Homomorphismen
Ochsenschläger, P.
Bericht
1996Petri-Netze : Grundlagen und Anwendungen
Baumgarten, B.
Buch
1996A proposal for the operational semantics of concurrent TTCN
Baumgarten, B.; Gattung, G.
Buch
1996The SH-verification tool
Nitsche, U.; Ochsenschläger, P.; Repp, J.
Bericht
1996Test case generation for ATM protocols using high-level Petri net models
Bechtold, R.; Gattung, G.; Henniger, O.; Paule, C.
Konferenzbeitrag
1996Testing communicating systems
: Baumgarten, B.; Burkhardt, H.-J.; Giessler, A.
Tagungsband
1996Verification by behaviour abstraction. A case study of service interaction detection in intelligent telephone networks
Cappellmann, C.; Demant, R.; Galvez-Estrada, R.; Fatahi-Vanani, F.; Nitsche, U.; Ochsenschläger, P.
Konferenzbeitrag