Formal Methods and Security

          Members: Michael Drouineaud, Dr. Karsten Sohr

Our purpose is the application of formal methods to information security. For the beginning, we will focus on the subject of access control within the scope of which the e examination of security policies in relation to consistency is our eminent concern.
Role-based access control models, which can handle confidentiality as well as data integrity, shall be the special object of these contemplations.
We intend to enhance the obtained framework for the integration of information flow models. Our considerations will be based on a modal logic derived from a logic introduced by Abadi et al. in 1992.