动态策略的剖析与切面

信息流策略通常是动态的；程序的安全关注点通常在执行期间发生变化以反映与安全相关的事件。一个关键挑战是如何最好地指定此类动态策略并赋予其恰当语义。现有大量方法应对该挑战，每种都产生了一些重要但互不关联的见解。本工作综合了关于动态策略的现有知识，旨在建立通用术语、最佳实践以及推理框架。我们引入切面（facets）的概念以阐明策略语义中的微妙之处，并仔细考察策略的结构以及策略指定机制的表达能力。我们进一步探索了动态策略与去分类（declassification）概念之间的关系。