【摘要】：在船舶信息安全流分析中,怎樣建立合理的非干擾安全性是關(guān)鍵問題。本文通過對Confined-π演算的研究分析,利用Confined-π演算的互模擬等價(jià)關(guān)系構(gòu)建船舶安全信息流的安全結(jié)構(gòu),并給出一種基于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])。其結(jié)構(gòu)如圖2所示。圖2表明，進(jìn)程P與Q能夠在通道名稱為l1與l2的計(jì)算邊界上發(fā)生相互作用，因此，，格（L，M）在船舶網(wǎng)絡(luò)系統(tǒng)中則表現(xiàn)出更為復(fù)雜的安全性。圖1Confined-π演算中移動和通信的限制Fig.1MobileandcommunicationconstraintsinConfined-πcalculus第39卷曹鑫，等：Confined-π演算中的等價(jià)關(guān)系及船舶安全信息流分析·167·

4）安全性分析為了進(jìn)一步分析不同安全級別的安全信息流的性質(zhì)，本文使用Confined-π演算中的計(jì)算邊界相關(guān)弱互模擬等價(jià)對船舶信息流的非干擾安全性進(jìn)行分析，因?yàn)镃onfined-π演算具備較好的安全信息流控制機(jī)制。設(shè)進(jìn)程P、進(jìn)程Q，那么弱計(jì)算邊界互模擬等價(jià)的非干擾安全性的關(guān)系為：C1[P]～lkC2[Q]。在上述分析的基礎(chǔ)上，本文給出了基于Confined-π的安全策略實(shí)施方案，如圖3所示。3結(jié)語本文利用Confined-π演算的安全信息流控制機(jī)制對船舶安全信息流進(jìn)行了分析，并給出了一種安全策略實(shí)施方案。通過分析證明，船舶網(wǎng)絡(luò)系統(tǒng)中安全信息流的安全結(jié)構(gòu)能夠轉(zhuǎn)化為Confined-π演算中的等價(jià)關(guān)系表達(dá)。參考文獻(xiàn)：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服務(wù)組合的描述和驗(yàn)證[J].計(jì)算機(jī)學(xué)報(bào),28(4),635 643,2005.[3]黃國銳,曹先彬,王煦法.基于信息素?cái)U(kuò)散的蟻群算法[J].電子學(xué)報(bào),2004,32(5):865 865.[4]圖2結(jié)構(gòu)示意圖Fig.2Schematicdiagramofstructure圖3安全策略示意圖Fig.3Schematicdiagramofsecuritypolicy·168·艦船科學(xué)技術(shù)第39卷

【參考文獻(xiàn)】

相關(guān)期刊論文 前2條

1 廖軍,譚浩,劉錦德;基于Pi-演算的Web服務(wù)組合的描述和驗(yàn)證[J];計(jì)算機(jī)學(xué)報(bào);2005年04期

2 黃國銳,曹先彬,王煦法;基于信息素?cái)U(kuò)散的蟻群算法[J];電子學(xué)報(bào);2004年05期

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 靳繼紅;黃偉凡;鄧明華;葛蓁;;基于GPS移動節(jié)點(diǎn)Ad Hoc網(wǎng)絡(luò)的準(zhǔn)直行走播種機(jī)設(shè)計(jì)[J];農(nóng)機(jī)化研究;2017年11期

2 張燦青;彭成;薛智山;滿君豐;;基于粒子群算法的構(gòu)件組合技術(shù)研究[J];計(jì)算技術(shù)與自動化;2017年01期

3 董會國;;蟻群優(yōu)化算法在潛艇三維空間導(dǎo)航規(guī)劃算法中的應(yīng)用[J];艦船科學(xué)技術(shù);2017年04期

4 曹鑫;路遙;;Confined-π演算中的等價(jià)關(guān)系及船舶安全信息流分析[J];艦船科學(xué)技術(shù);2017年04期

5 田永紅;王艷芳;包力;;基于SOA的Web服務(wù)組合建模研究[J];內(nèi)蒙古工業(yè)大學(xué)學(xué)報(bào)(自然科學(xué)版);2016年04期

6 馬清鑫;張達(dá)敏;張斌;阿明翰;;基于城市權(quán)重的蟻群算法及其在TSP中的應(yīng)用[J];通信技術(shù);2016年11期

7 沈華;;Web服務(wù)組合形式化性能分析方法簡述[J];教育教學(xué)論壇;2016年42期

8 許碧歡;錢俊彥;張迎周;陳蕾;;一種基于余代數(shù)單子的Web服務(wù)形式化模型[J];南京航空航天大學(xué)學(xué)報(bào);2016年05期

9 張麗;楊懷洲;;物聯(lián)網(wǎng)環(huán)境下QoS驅(qū)動的服務(wù)組合關(guān)鍵技術(shù)研究[J];信息技術(shù)與信息化;2016年09期

10 周鴻鵠;鄭永康;栗然;劉明忠;劉濤;;IEC 61850一致性測試技術(shù)[J];電氣應(yīng)用;2016年11期

【二級參考文獻(xiàn)】

相關(guān)期刊論文 前1條

1 吳慶洪,張紀(jì)會,徐心和;具有變異特征的蟻群算法[J];計(jì)算機(jī)研究與發(fā)展;1999年10期

【相似文獻(xiàn)】

相關(guān)期刊論文 前1條

1 榮譽(yù);聚類問題集合論解法初探[J];中國環(huán)境管理干部學(xué)院學(xué)報(bào);2001年02期

相關(guān)會議論文 前3條

1 鄧愛民;符曉陵;徐道遠(yuǎn);;混凝土拉、壓損傷的等價(jià)關(guān)系研究[A];第十屆全國結(jié)構(gòu)工程學(xué)術(shù)會議論文集第Ⅰ卷[C];2001年

2 梁昌洪;史小衛(wèi);;六端口系統(tǒng)中參數(shù)精度之間的等價(jià)關(guān)系和測量范圍分析[A];1995年全國微波會議論文集（下冊）[C];1995年

3 寧佐貴;;模糊控制算法的等價(jià)關(guān)系[A];中國工程物理研究院科技年報(bào)（1999）[C];1999年

相關(guān)博士學(xué)位論文 前4條

1 谷澤;（序）半超群上的強(qiáng)（序）正則等價(jià)關(guān)系[D];華南理工大學(xué);2016年

2 尹志;P(ω)/Fin到ι_p與ι_q之間等價(jià)關(guān)系的嵌入[D];南開大學(xué);2013年

3 朱涵;模型獨(dú)立的移動演算理論[D];上海交通大學(xué);2009年

4 覃廣平;交互式馬爾可夫鏈：理論與應(yīng)用[D];中國科學(xué)院研究生院（成都計(jì)算機(jī)應(yīng)用研究所）;2006年

相關(guān)碩士學(xué)位論文 前1條

1 陳鑫;行為等價(jià)博弈[D];上海交通大學(xué);2009年

本文編號：2669289