Roland RIEKE
Fraunhofer Gesellschaft - Institute for secure telecommunication
E-mail: rieke@darmstadt.gmd.de




Profile:
Born 1957 in Braunschweig, he has studied computer science from 1976 to 1982 at TUD (Darmstadt University of Technology) and worked since 1982 as a researcher for SIT (the Fraunhofer-Institute Secure Telecooperation, former GMD) in Darmstadt. He is married and has 3 children. Projects he worked on comprise the design and implementation of components for distributed office systems and network protocols. Since 1996 he has worked on the development of methods and tools for formal security models and application of these techniques. Recently he has worked on temporal logic model checking and proof of security characteristics of cryptographic protocols, the java virtual machine verifier, context oriented security policies and
e-government applications.

Presentation:
“Projects CASENET and SKe, a framework for secure e-government”
The objective of project CASENET is to develop a tool-supported framework for the systematic specification, design and analysis of e-commerce and e-government transactions. The methodologies and tools developed will enable the designer of an e-commerce or egovernment application to generate a formal protocol specification with the desired security properties and assist in transforming the specification into final code as well as being usable for the security analysis of protocols already deployed. The project SKe complements the CASENET work by providing a uniform security concept with dynamic controlling mechanisms for e-service processes. Tools to be developed are an attack simulator, an electronic security inspector and an experience based security database.


<< back