Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2021Attack Surface Assessment for Cybersecurity Engineering in the Automotive Domain
Plappert, C.; Zelle, D.; Gadacz, H.; Rieke, R.; Scheuermann, D.; Krauß, C.
Konferenzbeitrag
2021In-vehicle detection of targeted CAN bus attacks
Fenzl, Florian; Rieke, Roland; Dominik, Andreas
Konferenzbeitrag
2021Secure gate: Secure gateways and wireless sensors as enablers for sustainability in production plants
Bienhaus, Diethelm; Ebner, Andreas; Jäger, Lukas; Rieke, Roland; Krauß, Christoph
Zeitschriftenaufsatz
2020Continuous fields: Enhanced in-vehicle anomaly detection using machine learning models
Fenzl, Florian; Rieke, Roland; Chevalier, Y.; Dominik, A.; Kotenko, I.
Zeitschriftenaufsatz
2020ECU-Secure: Characteristic Functions for In-Vehicle Intrusion Detection
Chevalier, Yannick; Rieke, Roland; Fenzl, Florian; Chechulin, Andrey; Kotenko, Igor
Konferenzbeitrag
2020Gateway for Industrial Cyber-Physical Systems with Hardware-Based Trust Anchors
Bienhaus, Diethelm; Jäger, Lukas; Rieke, Roland; Krauß, Christoph
Konferenzbeitrag
2020SEPAD - Security Evaluation Platform for Autonomous Driving
Zelle, Daniel; Rieke, Roland; Plappert, Christian; Krauß, Christoph; Levshun, Dmitry; Chechulin, Andrey
Konferenzbeitrag
2019Comparative Study of Machine Learning Methods for In-Vehicle Intrusion Detection
Berger, Ivo; Rieke, Roland; Kolomeets, Maxim; Chechulin, Andrey; Kotenko, Igor
Konferenzbeitrag
2019Cybersecurity Research: Challenges and Course of Action
Holz, Thorsten; Müller-Quade, Jörn; Raabe, Oliver; Waidner, Michael; Bardin, Sébastien; Debar, Hervé; Dinger, Jochen; Fahl, Sascha; Faust, Sebastian; Gonzalez Fuster, Gloria; Gro, Stjepan; Hallett, Joseph; Harlander, Magnus; Houdeau, Detlef; Kirchner, Claude; Klasen, Wolfgang; Lotz, Volkmar; Markatos, Evangelos; Möhring, Peter; Posch, Reinhard; Ritter, Steve; Schallbruch, Martin; Schunter, Matthias; Volkamer, Melanie; Wespi, Andreas; Engelbrecht, Adrian; Fuchs, Andreas; Geiselmann, Willi; Grensing, Anna-Louise; Heidt, Margareta; Heyszl, Johann; Hiller, Matthias; Jäger, Lukas; Kawohl, Claudia; Koch, Alexander; Krämer, Annika; Marnau, Ninja; Noack, Kathrin; Rieke, Roland; Senf, Daniel; Springer, Markus; Steinbrück, Anne; Strefler, Mario; Tatang, Dennis; Backes, Michael; Buxmann, Peter; Eckert, Claudia
: Müller-Quade, Jörn
Bericht
2019Security Test Platform for Autonomous Driving
Zelle, Daniel; Rieke, Roland; Krauß, Christoph
Konferenzbeitrag
2019Steganalysis method for detecting embedded coefficients of discrete-wavelet image transformation into high-frequency domains
Sivachev, Alexey V.; Bashmakov, Daniil A.; Mikhailishenko, Olga V.; Korobeynikov, Anatoliy G.; Rieke, Roland
Konferenzbeitrag
2017Behavior analysis for safety and security in automotive systems
Rieke, Roland; Seidemann, Marc; Kengni Talla, Elise; Zelle, Daniel; Seeger, Bernhard
Konferenzbeitrag
2016Trust establishment in cooperating cyber-physical systems
Rein, A.; Rieke, R.; Jäger, M.; Kuntze, N.; Coppolino, L.
Konferenzbeitrag
2015ACCEPT - Anomaliemanagement in Computersystemen durch Complex Event Processing Technologie
Rieke, Roland
Bericht
2015Pairs of languages closed under shuffle projection
Ochsenschläger, Peter; Rieke, Roland
Preprint
2015Security and business situational awareness
Rieke, Roland; Zhdanova, Maria; Repp, Jürgen
Konferenzbeitrag
2015Security compliance tracking of processes in networked cooperating systems
Rieke, Roland; Zhdanova, Maria; Repp, Jürgen
Zeitschriftenaufsatz
2014Monitoring security compliance of critical processes
Rieke, R.; Repp, J.; Zhdanova, M.; Eichler, J.
Konferenzbeitrag
2014No smurfs: Revealing fraud chains in mobile money transfers
Zhdanova, M.; Repp, J.; Rieke, R.; Gaber, C.; Hemery, B.
Konferenzbeitrag
2014Safety by construction: Well-behaved scalable systems
Ochsenschläger, Peter; Rieke, Roland
Zeitschriftenaufsatz
2014Security Analysis of System Behaviour - From 'Security by Design' to 'Security at Runtime'
Rieke, Roland
: Freisleben, B.; Seeger, B.
Dissertation
2014An update logic for information systems
Khan, M.A.; Banerjee, M.; Rieke, R.
Zeitschriftenaufsatz
2014Verhaltensanalyse zur Erkennung von Missbrauch mobiler Geldtransferdienste
Rieke, R.; Zhdanova, M.; Repp, J.; Giot, R.; Gaber, C.
Konferenzbeitrag
2013Fraud Detection in Mobile Payment Utilizing Process Behavior Analysis
Rieke, Roland; Zhdanova, Maria; Repp, Jürgen; Giot, Romain; Gaber, Chrystel
Konferenzbeitrag
2013RaSIEM 2013: Message from the Workshop Organizers
Achemlal, M.; Giot, R.; Gaber, C.; Perez, E.P.; Rieke, R.
Konferenzbeitrag
2012Architecting a security strategy measurement and management system
Rieke, R.; Schütte, J.; Hutchison, A.
Konferenzbeitrag
2012Challenges for advanced security monitoring - The MASSIF project
Rieke, R.; Prieto, E.; Diaz, R.; Debar, H.; Hutchison, A.
Konferenzbeitrag
2012Como garantir a seguranca da informacao (Internet do Futuro)
Rieke, R.; Rudolph, C.
Zeitschriftenaufsatz
2012MASSIF: A Promising Solution to Enhance Olympic Games IT Security
Prieto, E.; Diaz, R.; Romano, L.; Rieke, R.; Achemlal, M.
Konferenzbeitrag
2012Measuring Progress in Cyber-Security: An Open Architecture for Security Measurement Consolidation
Hutchison, Andrew; Rieke, Roland
Abstract
2012Model-based security event management
Schütte, Julian; Rieke, Roland; Winkelvos, Timo
Konferenzbeitrag
2012Reliability aspects of uniformly parameterised cooperations
Ochsenschläger, Peter; Rieke, Roland
Konferenzbeitrag
2012Requirements Engineering for Software vs. Systems in General
Kaindl, Hermann; Jäntti, Marko; Mannaert, Herwig; Nakamatsu, Kazumi; Rieke, Roland
Konferenzbeitrag
2012Security and Reliability Requirements for Advanced Security Event Management
Rieke, R.; Coppolino, L.; Hutchison, A.; Prieto, E.; Gaber, C.
Konferenzbeitrag
2012Security requirements for uniformly parameterised cooperations
Ochsenschläger, P.; Rieke, R.
Konferenzbeitrag
2012A Trusted Information Agent for Security Information and Event Management
Coppolino, Luigi; Jäger, Michael; Kuntze, Nicolai; Rieke, Roland
Konferenzbeitrag
2011Model-based situational security analysis
Eichler, J.; Rieke, R.
Konferenzbeitrag
2011Security properties of self-similar uniformly parameterised systems of cooperations
Ochsenschläger, P.; Rieke, R.
Konferenzbeitrag
2010Behaviour Properties of Uniformly Parameterised Cooperations
Ochsenschläger, Peter; Rieke, Roland
Bericht
2010Identification of security requirements in systems of systems by functional security analysis
Fuchs, A.; Rieke, R.
Konferenzbeitrag
2010Predictive security analysis for event-driven processes
Rieke, R.; Stoynova, Z.
Konferenzbeitrag
2010Secure mobile business information processing
Kuntze, N.; Rieke, R.; Diederich, G.; Sethmann, R.; Sohr, K.; Mustafa, T.; Detken, K.-O.
Konferenzbeitrag
2010Uniform Parameterisation of Phase Based Cooperations
Ochsenschläger, Peter; Rieke, Roland
Bericht
2009Operational models for security and dependability in electronic health systems
Rieke, R.
Konferenzbeitrag
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
2008Abstraction-based analysis of known and unknown vulnerabilities of critical information infrastructures
Rieke, R.
Zeitschriftenaufsatz
2008Die elektronische Krankenakte - Eine Sicherheitsstrategie
Ochsenschläger, P.; Rieke, R.; Velikova, Z.
Konferenzbeitrag
2007Abstraction based verification of a parameterised policy controlled system
Ochsenschläger, P.; Rieke, R.
Konferenzbeitrag
2007A holistic approach to security policies - policy distribution with XACML over COPS
Peters, J.; Rieke, R.; Rochaeli, T.; Steinemann, B.; Wolf, R.
Konferenzbeitrag
2007Modellbasiertes Testen der deutschen Gesundheitskarten
Apel, C.; Steingruber, J.; Repp, J.; Rieke, R.
Konferenzbeitrag
2006Modelling and analysing network security policies in a given vulnerability setting
Rieke, R.
Konferenzbeitrag
2005Protocols for policy negotiation
Peters, J.; Rieke, R.; Rochaeli, T.; Steinemann, B.; Wolf, R.
Bericht
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
2004Simple Homomorphism Verification Tool (SHVT) - Manual
Repp, J.; Rieke, R.
Buch
2004Tool based formal modelling, analysis and visualisation of enterprise network vulnerabilities utilising attack graph exploration
Rieke, R.
Konferenzbeitrag
2003Development of formal models for secure e-services
Rieke, Roland
Vortrag
2002The Simple Homomorphism Verification Tool - Tutorial
Repp, J.; Ochsenschläger, P.; Rieke, R.
Buch
2000Abstraction and composition - A verification method for cooperating systems
Ochsenschläger, P.; Repp, J.; Rieke, R.
Zeitschriftenaufsatz
2000The SH-verification tool
Ochsenschläger, P.; Repp, J.; Rieke, R.; Struif, B.
Konferenzbeitrag
2000Verification of cooperating systems - an approach based on formal languages
Ochsenschläger, P.; Repp, J.; Rieke, R.
Konferenzbeitrag
1999Abstraction and verification of cooperating systems
Ochsenschläger, P.; Repp, J.; Rieke, R.
Aufsatz in Buch
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
1998The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems
Ochsenschläger, P.; Repp, J.; Rieke, R.; Nitsche, U.
Zeitschriftenaufsatz
1997Die Produktnetzmaschine und das SH-Verification Tool
Ochsenschläger, P.; Repp, J.; Rieke, R.
Aufsatz in Buch
1997The SH-verification tool, instruments for verifying co-operation systems
Ochsenschläger, P.; Repp, J.; Rieke, R.; Nitsche, U.
Konferenzbeitrag
1996Abschlußbericht des GMD-/Telekom-Projekts "Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik" - SERVINT II
Demant, R.; Fatahi, F.; Galvez-Estrada, R.; Link, A.; Nitsche, U.; Noll, A.; Ochsenschläger, P.; Repp, J.; Rieke, R.
Bericht