Secrecy and Information Flow in Shared Document Bases

• Applicants: Professor Dr. Bernd Finkbeiner; Professor Dr. Helmut Seidl
• Subject Area: Software Engineering and Programming Languages ; Theoretical Computer Science
• Term: from 2010 to 2017
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 183818583

We investigate the specification and automatic verification of secrecy and information flow in applications where multiple users share a common document base and access rights vary over time. In the third phase of the project we will increase the semantic precision and the algorithmic efficiency of our verification techniques to handle information flow properties of larger and more realistic systems. Key objectives are to develop automatic verification techniques that handle parametric system models with an arbitrary number of participating agents and abstract interpretation techniques that are sufficiently precise and efficient to handle complex web-based workflow management systems.

• DFG Programme: Priority Programmes
• Subproject of: SPP 1496: Reliably Secure Software Systems