Formal Aspects in Security and Trust
Formal Aspects in Security and Trust
复制标题
DOI：
10.1007/978-3-642-01465-9
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
David Hutchison;T. Kanade;J. Kittler;M.Kleinberg Jon
中科院分区：
文献类型：
--
作者：
David Hutchison;T. Kanade;J. Kittler;M.Kleinberg Jon
结构不干扰是在Petri网上定义的一种检查非法信息流是否存在的半静态技术。本文介绍了这种新技术的主要算法特点及其在一个名为Petri网安全检查器的软件工具中的实现。
Structural non-interference is a semi-static technique defined over Petri nets to check the absence of illegal information flows. This paper presents the main algorithmic features of this new technique and its implementation in a software tool, called the Petri Net Security Checker.