Confined-π演算中的等价关系及船舶安全信息流分析
【图文】：
1]|l2[W1]；Q=l2[l1[l0[P2]|Q2]|W2]=l2[l1[l0[P2]|Q2]]|l2[W2]=l1[l0[[P2]]|l1[Q2]|l2[W2]=l0[P2]|l1[Q2]|l2[W2]，那么W可表示为：W=(l0[P1]|l1[Q1]|l2[W1])|(l0[P2]|l1[Q2]|l2[W2])。其结构如图2所示。图2表明，进程P与Q能够在通道名称为l1与l2的计算边界上发生相互作用，因此，，格（L，M）在船舶网络系统中则表现出更为复杂的安全性。图1Confined-π演算中移动和通信的限制Fig.1MobileandcommunicationconstraintsinConfined-πcalculus第39卷曹鑫，等：Confined-π演算中的等价关系及船舶安全信息流分析·167·
4）安全性分析为了进一步分析不同安全级别的安全信息流的性质，本文使用Confined-π演算中的计算边界相关弱互模拟等价对船舶信息流的非干扰安全性进行分析，因为Confined-π演算具备较好的安全信息流控制机制。设进程P、进程Q，那么弱计算边界互模拟等价的非干扰安全性的关系为：C1[P]～lkC2[Q]。在上述分析的基础上，本文给出了基于Confined-π的安全策略实施方案，如图3所示。3结语本文利用Confined-π演算的安全信息流控制机制对船舶安全信息流进行了分析，并给出了一种安全策略实施方案。通过分析证明，船舶网络系统中安全信息流的安全结构能够转化为Confined-π演算中的等价关系表达。参考文献：ROMANGC,MURPHYAL,PiccoGP.Asoftwareengineer-ingperspectiveonmobility,inthefutureofsoftwareengineer-ing,Ed.A.Finkelstein,ACMPress,2000:241 258.[1]HENNESSYM.,RIELYJ.Resourceaccesscontrolinsystemsofmobileagents[J],InformationandComputation,Volume173,Number1,2002(39):82 120.[2]廖军,谭浩,刘锦德.基于Pi-演算的Web服务组合的描述和验证[J].计算机学报,28(4),635 643,2005.[3]黄国锐,曹先彬,王煦法.基于信息素扩散的蚁群算法[J].电子学报,2004,32(5):865 865.[4]图2结构示意图Fig.2Schematicdiagramofstructure图3安全策略示意图Fig.3Schematicdiagramofsecuritypolicy·168·舰船科学技术第39卷
【参考文献】
相关期刊论文 前2条
1 廖军,谭浩,刘锦德;基于Pi-演算的Web服务组合的描述和验证[J];计算机学报;2005年04期
2 黄国锐,曹先彬,王煦法;基于信息素扩散的蚁群算法[J];电子学报;2004年05期
【共引文献】
相关期刊论文 前10条
1 靳继红;黄伟凡;邓明华;葛蓁;;基于GPS移动节点Ad Hoc网络的准直行走播种机设计[J];农机化研究;2017年11期
2 张灿青;彭成;薛智山;满君丰;;基于粒子群算法的构件组合技术研究[J];计算技术与自动化;2017年01期
3 董会国;;蚁群优化算法在潜艇三维空间导航规划算法中的应用[J];舰船科学技术;2017年04期
4 曹鑫;路遥;;Confined-π演算中的等价关系及船舶安全信息流分析[J];舰船科学技术;2017年04期
5 田永红;王艳芳;包力;;基于SOA的Web服务组合建模研究[J];内蒙古工业大学学报(自然科学版);2016年04期
6 马清鑫;张达敏;张斌;阿明翰;;基于城市权重的蚁群算法及其在TSP中的应用[J];通信技术;2016年11期
7 沈华;;Web服务组合形式化性能分析方法简述[J];教育教学论坛;2016年42期
8 许碧欢;钱俊彦;张迎周;陈蕾;;一种基于余代数单子的Web服务形式化模型[J];南京航空航天大学学报;2016年05期
9 张丽;杨怀洲;;物联网环境下QoS驱动的服务组合关键技术研究[J];信息技术与信息化;2016年09期
10 周鸿鹄;郑永康;栗然;刘明忠;刘涛;;IEC 61850一致性测试技术[J];电气应用;2016年11期
【二级参考文献】
相关期刊论文 前1条
1 吴庆洪,张纪会,徐心和;具有变异特征的蚁群算法[J];计算机研究与发展;1999年10期
【相似文献】
相关期刊论文 前1条
1 荣誉;聚类问题集合论解法初探[J];中国环境管理干部学院学报;2001年02期
相关会议论文 前3条
1 邓爱民;符晓陵;徐道远;;混凝土拉、压损伤的等价关系研究[A];第十届全国结构工程学术会议论文集第Ⅰ卷[C];2001年
2 梁昌洪;史小卫;;六端口系统中参数精度之间的等价关系和测量范围分析[A];1995年全国微波会议论文集（下册）[C];1995年
3 宁佐贵;;模糊控制算法的等价关系[A];中国工程物理研究院科技年报（1999）[C];1999年
相关博士学位论文 前4条
1 谷泽;（序）半超群上的强（序）正则等价关系[D];华南理工大学;2016年
2 尹志;P(ω)/Fin到ι_p与ι_q之间等价关系的嵌入[D];南开大学;2013年
3 朱涵;模型独立的移动演算理论[D];上海交通大学;2009年
4 覃广平;交互式马尔可夫链：理论与应用[D];中国科学院研究生院（成都计算机应用研究所）;2006年
相关硕士学位论文 前1条
1 陈鑫;行为等价博弈[D];上海交通大学;2009年
本文编号：2669289
本文链接：https://www.wllwen.com/kejilunwen/anquangongcheng/2669289.html
