Roland Rieke
Roland Rieke
Fraunhofer SIT
Email verificata su sit.fraunhofer.de - Home page
Titolo
Citata da
Citata da
Anno
Security requirements for automotive on-board networks based on dark-side scenarios
A Ruddle, D Ward, B Weyl, S Idrees, Y Roudier, M Friedewald, ...
EVITA Deliverable D 2 (3), 2009
93*2009
The SH-Verification Tool—Abstraction-Based Verification of Co-operating Systems
P Ochsenschläger, J Repp, R Rieke, U Nitsche
Formal Aspects of Computing 10 (4), 381-404, 1998
521998
Fraud detection in mobile payments utilizing process behavior analysis
R Rieke, M Zhdanova, J Repp, R Giot, C Gaber
2013 International Conference on Availability, Reliability and Security, 662-669, 2013
472013
The SH-Verification Tool.
P Ochsenschläger, J Repp, R Rieke
FLAIRS Conference, 18-22, 2000
302000
Identification of security requirements in systems of systems by functional security analysis
A Fuchs, R Rieke
Architecting Dependable Systems VII, 74-96, 2010
272010
Identification of security requirements in systems of systems by functional security analysis
A Fuchs, R Rieke
Architecting Dependable Systems VII, 74-96, 2010
272010
Abstraction and composition: a verification method for co-operating systems
P Ochsenschläger, J Repp, R Rieke
Journal of Experimental & Theoretical Artificial Intelligence 12 (4), 447-459, 2000
272000
A trusted information agent for security information and event management
L Coppolino, M Jäger, N Kuntze, R Rieke
ICONS 2012, The Seventh International Conference on Systems, 6-12, 2012
242012
Security and reliability requirements for advanced security event management
R Rieke, L Coppolino, A Hutchison, E Prieto, C Gaber
International Conference on Mathematical Methods, Models, and Architectures …, 2012
232012
Modelling and analysing network security policies in a given vulnerability setting
R Rieke
International Workshop on Critical Information Infrastructures Security, 67-78, 2006
212006
Tool based formal modelling, analysis and visualisation of enterprise network vulnerabilities utilising attack graph exploration
R Rieke
Eicar 2004 Conference CD-rom: Best Paper Proceedings, Copenhagen, EICAR eV, 2004
212004
Predictive security analysis for event-driven processes
R Rieke, Z Stoynova
International Conference on Mathematical Methods, Models, and Architectures …, 2010
202010
No smurfs: Revealing fraud chains in mobile money transfers
M Zhdanova, J Repp, R Rieke, C Gaber, B Hemery
2014 Ninth International Conference on Availability, Reliability and …, 2014
192014
MASSIF: A promising solution to enhance olympic games IT security
E Prieto, R Diaz, L Romano, R Rieke, M Achemlal
Global Security, Safety and Sustainability & e-Democracy, 139-147, 2011
192011
Monitoring security compliance of critical processes
R Rieke, J Repp, M Zhdanova, J Eichler
2014 22nd Euromicro International Conference on Parallel, Distributed, and …, 2014
162014
Behavior analysis for safety and security in automotive systems
R Rieke, M Seidemann, EK Talla, D Zelle, B Seeger
2017 25th Euromicro International Conference on Parallel, Distributed and …, 2017
152017
Model-based situational security analysis
J Eichler, R Rieke
Proceedings of the 6th International Workshop on Models@run.time at the ACM …, 2011
152011
Model-based security event management
J Schütte, R Rieke, T Winkelvos
International Conference on Mathematical Methods, Models, and Architectures …, 2012
142012
Abstraction-based analysis of known and unknown vulnerabilities of critical information infrastructures
R Rieke
International Journal of System of Systems Engineering 1 (1-2), 59-77, 2008
132008
An update logic for information systems
MA Khan, M Banerjee, R Rieke
International journal of approximate reasoning 55 (1), 436-456, 2014
122014
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20