使用选择性交错函数表达安全属性
密码学与安全
2007-05-23 v1
摘要
McLean提出的选择性交错函数（Selective Interleaving Functions, SIFs）或许是最著名的用于表达各种安全属性框架的尝试。我们仔细检查了SIFs的表达力。我们展示了SIFs无法捕捉策略上的非推导性（Nondeducibility on Strategies, NOS）。我们还证明了使用SIFs表达的安全属性集合对合取不闭合，从而得出 separations（分离）严格强于双重广义非干涉。然而，我们展示了如果我们自然地对SIF概念进行推广，那么NOS是可表达的，并且由推广后的SIFs表达的安全属性集合对合取闭合。
引用
@article{arxiv.cs/0608022,
title = {Expressing Security Properties Using Selective Interleaving Functions},
author = {Joseph Y. Halpern and Sabina Petride},
journal= {arXiv preprint arXiv:cs/0608022},
year = {2007}
}