Secrecy and Information Flow in Shared Document Bases

共享文档库中的保密性和信息流

• 批准号: 183818583
• 负责人: Professor Dr. Bernd Finkbeiner
• 金额: --
• 依托单位: Forschungsgebiet Zuverlässige Sicherheitsgarantien
• 依托单位国家: 德国
• 项目类别: Priority Programmes
• 财政年份: 2010
• 资助国家: 德国
• 起止时间: 2009-12-31 至 2016-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/183818583?language=en
• 关键词: Secrecy; Information; Flow; Shared; Document

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.

我们研究了多个用户共享公共文档库且访问权限随时间变化的应用程序中的保密性和信息流的规范和自动验证。在该项目的第三阶段，我们将提高验证技术的语义精度和算法效率，以处理更大、更现实系统的信息流属性。主要目标是开发自动验证技术，处理具有任意数量的参与代理的参数化系统模型，以及足够精确和高效的抽象解释技术，以处理复杂的基于网络的工作流管理系统。