典范

信息流控制实用程序设计的典范。对于传统的安全策略，软件访问控制的安全性是足够的。但是主流编程语言的标准抽象机制不足以表达一旦获得对资源的访问，信息是如何在资源之间流动的。在实践中，我们认为这种控制——信息流控制——是管理应用程序端到端安全属性所必需的。Paragon策略是用基于逻辑的策略语言指定的。由于其显式的有状态性质，这些策略似乎比以前的语言中使用的具有信息流支持的策略更具表现力和灵活性。我们的贡献是展示Paragon的设计和实现，它将策略语言与Java的面向对象设置顺利地集成在一起，并通过成熟的编程语言获得婚姻的好处。