卡拉广场;恩里科·皮瓦托;萨宾娜·罗西 CoPS–持久安全检查程序。 （英语） Zbl 1126.68509号 Jensen，Kurt（编辑）等人，《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004，作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21299-X/pbk）。《计算机科学讲义》2988144-152（2004）。 概述：CoPS是多级系统安全属性的自动检查器。CoPS可用于检查用安全过程代数（SPA）语言表示的系统的三种不同的基于互模拟的无干扰属性。所考虑的属性是持久的，即它们在每个执行步骤中都被保留。此外，它们还暗示了基于互模拟的合成不可重复性（BNDC）属性，其可判定性仍然是一个公开的问题。关于整个系列，请参见[兹比尔1046.68008]. 引用于4文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 60年第68季度 规范和验证（程序逻辑、模型检查等） PDF格式BibTeX公司 XML格式引用 \textit{C.Piazza}等人，Lect。注释计算。科学。2988144-152（2004年；兹bl 1126.68509） 全文： 内政部