通信顺序进程(Communicating SequentialProcesses,CSP)由Hoare于1978年提出,它是并发性研究的重要理论,是构建并发系统的经典方法......

形式化方法是提高软件系统，特别是safety-critical系统的安全性与可靠性的重要手段。本文提出了一种新的简单的迹语义，用于刻画协议......

就刻画安全的性质而言,基于非演绎信息流的安全模型较基于访问控制的安全模型更为确切和本质。在基于迹语义对非演绎信息流安全模......

就刻画安全的本质而言,基于非演绎信息流安全模型较之与基于访问控制的安全模型更为确切。文章在基于迹语义对非演绎信息流安全模......

迹等价和测试等价等事件结构上的系统等价关系都立足于观测集上的精确相等,然而精确相等需要的精确度量在现实物理世界里是无法实......