Confined-π演算中的等价关系及船舶安全信息流分析.pdf

第 39 卷第 2A 期 舰    船    科    学    技    术 Vol. 39, No. 2A 2017 年 2 月 SHIP SCIENCE AND TECHNOLOGY Feb. , 2017 Confined-π 演算中的等价关系及船舶安全信息流分析 曹    鑫，路    遥 (石家庄信息工程职业学院 软件工程系，河北 石家庄 050035) 摘 要: 在船舶信息安全流分析中，怎样建立合理的非干扰安全性是关键问题。本文通过对 Confined-π 演算 的研究分析，利用 Confined-π 演算的互模拟等价关系构建船舶安全信息流的安全结构，并给出一种基于 Confined-π 演算的安全策略。 关键词：Confined-π；等价关系；安全信息流 中图分类号：U665.26A          文献标识码：A 文章编号： 1672 – 7619(2017)2A – 0166 – 03         doi ：10.3404/j.issn.1672 – 7619.2017.2A.056 Equivalence relation in Confined-π and ship safety information flow analysis CAO Xin, LU Yao (Shijiazhuang Information Engineering Vocational College Department of Software Engineering, Shijiazhuang 050035, China) Abstract : In the analysis of ship information security, how to establish the non interference reasonable security was a key problem. Through the research and analysis of Confined-π calculus, the security structure was built by using bisimilarity relation construction of Confined-π calculus, and a security policy based on Confined-π calculus was proposed. Key words: Confined-π；equivalent relation；safety information flow 0     引　言 5）进程 P, Q :: 0　NIL 进程， 计算机技术与通信技术快速发展，互联网信息安 τ.P　不可观测行为，前缀 τ.P 演化为 P ， 全问题成为计算机领域研究的热点。本文以船舶信息 c !v.P　输出，由通道 c 输出名称 v ，并演化为 P ， 安全作为研究对象，