Security Modeling and Model Validation, Fraunhofer Institute for Secure Information Technology
Roland Rieke works since 1982 as a senior researcher at the Fraunhofer Institute for Secure Information Technology SIT. His research interests are focused on the development of methods and tools for formal security models and application of these techniques for architecting secure and dependable systems. In the project EVITA (E-safety Vehicle Intrusion proTected Applications), for instance, he worked on a method for security requirements elicitation in systems of systems applied in the context of vehicular communication systems. He is currently working on predictive security analysis for event-driven processes in the context of the Internet of things within the project ADiWa (Alliance Digital Product Flow). His recent papers furthermore comprise work on attack graph analysis and on proving security and dependability properties in parameterised systems based on self-similarity. Roland will be the research director of the project MASSIF (MAnagement of Security information and events in Service InFrastructures), a large-scale integrating project co-funded by the European Commission starting in October 2010. He is member of the ERCIM working group on Security and Trust Management.
Security Modeling and Model Validation
Fraunhofer Institute for Secure Information Technology
64295 Darmstadt, Germany
Phone +49 6151 869-284
Abstract: Please find attached