离散事件系统不透明性概念的比较

不透明性是一种信息流属性，刻画系统是否向被动观察者泄露其秘密。文献中已引入若干不透明性概念。我们研究了基于语言的不透明性、当前状态不透明性、初始状态不透明性、初始与最终状态不透明性、K步不透明性以及无限步不透明性。比较这些概念是一个自然的问题，Wu和Lafortune已对此进行研究并总结，他们给出了当前状态不透明性、初始与最终状态不透明性与基于语言的不透明性之间的转换，并且对于前缀闭语言，还给出了基于语言的不透明性与初始状态不透明性之间的转换。我们扩展了这些结果，证明所有讨论的不透明性概念均可相互转换。除对这些概念间差异的更深入理解外，这些转换在复杂性结果中有应用。特别地，这些转换可在多项式时间内计算，并保留可观测事件的数量与确定性，因此各概念验证的计算复杂性一致。我们给出了所讨论不透明性概念验证的完整且改进的复杂性图景，并改进了判定基于语言的不透明性、无限步不透明性与K步不透明性的算法复杂性。