论从多域非干涉到两级情形的归约

关于针对传递策略的信息流安全的文献主要集中于具有两个安全域（高和低）的策略情形，因为一种假定认为更一般的策略可归约到这一双域情形。然而，归约的细节并未成为仔细研究的对象。文献中的许多工作使用基于"Low-down"划分的归约，该划分将域分为在信息流序中低于给定域和不低于给定域的那些。少数使用"High-up"划分，将域分为高于给定域和不高于给定域的那些。我们的论文论证了更一般的"cut"划分也是合适的，并研究了当我们归约到的双域情形的基本概念是输入不可演绎性（Nondeducibility on Inputs）或广义非干涉（Generalized Noninterference）时，由此产生的多域安全概念之间的关系。Low-down归约被证明弱于其他归约，并且虽然High-up归约有时等价于cut归约，但它和Low-down归约都可能具有关于策略上自然序的非单调性的不良性质。这些结果表明，基于cut的划分产生了一种更稳健的归约到双域情形的通用方法。