同步信息流安全概念的复杂性
密码学与安全
2014-02-05 v1
摘要
本文探讨了验证有限状态系统是否满足多种信息流安全定义的复杂性。所考虑的系统模型是代理同步运行并感知全局时钟的模型。这使得基于时间的攻击能够被捕捉，而此前关于该主题的工作主要处理异步系统。针对该模型，制定了输入不可推导性、策略不可推导性以及基于展开的概念的版本。证明了这三种概念均是可判定的，并刻画了它们的计算复杂性。
引用
@article{arxiv.1402.0601,
title = {The Complexity of Synchronous Notions of Information Flow Security},
author = {Franck Cassez and Ron van der Meyden and Chenyi Zhang},
journal= {arXiv preprint arXiv:1402.0601},
year = {2014}
}
备注
Extended version of a paper in FOSSACS'10 with all proofs included