动态政策的剖析与层面

信息流策略通常是动态的，程序的安全问题通常会在执行过程中发生变化，以反映与安全相关的事件。一个关键的挑战是如何最好地指定此类动态策略并赋予其适当的含义。解决这一挑战的方法有很多，每种方法都能产生一些重要但不相关的见解。在这项工作中，我们综合了有关动态策略的现有知识，目的是建立一个通用的术语、最佳实践和框架来对其进行推理。我们引入方面的概念来阐明策略语义中的微妙之处，并仔细检查策略的剖析和策略规范机制的表达能力。我们进一步探讨了动态政策与解密概念之间的关系。