Universität Bremen  
  FB 3  
  Group BKB > Research > Formal Methods > Deutsch

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.
Author: Dr. Karsten Sohr
  Group BKB 
Last updated: July 16, 2010   impressum