本文選題：安全協(xié)議 + 有色Petri網(wǎng)�。� 參考：《安徽工業(yè)大學(xué)學(xué)報(bào)(自然科學(xué)版)》2010年04期

【摘要】：針對傳統(tǒng)有色Petri網(wǎng)方法在安全協(xié)議分析中存在的一些不足,提出一種新的基于有色Petri網(wǎng)模型的分析方法。給出改進(jìn)型的基于有色Petri網(wǎng)的模型構(gòu)造方法及協(xié)議分析的具體步驟,利用此法對具體的Helsinki協(xié)議進(jìn)行建模和分析。實(shí)驗(yàn)證明,這種方法行之有效,且在一定程度上有利于有色Petri網(wǎng)安全協(xié)議向自動(dòng)化分析方向發(fā)展。
[Abstract]:Aiming at the shortcomings of the traditional colored Petri net method in security protocol analysis, a new analysis method based on colored Petri net model is proposed. The improved model construction method based on colored Petri net and the concrete steps of protocol analysis are given. The concrete Helsinki protocol is modeled and analyzed by using this method. Experimental results show that this method is effective and beneficial to the development of colored Petri network security protocols towards automatic analysis.
【作者單位】： 安徽工業(yè)大學(xué)教務(wù)處;安徽工業(yè)大學(xué)計(jì)算機(jī)學(xué)院;
【基金】：安徽省教育廳自然科學(xué)基金重點(diǎn)項(xiàng)目(KJ2009A136)
【分類號(hào)】：TP301.1

【參考文獻(xiàn)】

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

1 袁志祥,蔣昌俊,葉紅;基于顏色Petri網(wǎng)的密碼協(xié)議的分析[J];安徽工業(yè)大學(xué)學(xué)報(bào);2002年04期

【共引文獻(xiàn)】

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

1 曹進(jìn);;計(jì)算機(jī)協(xié)議安全漏洞及其防護(hù)[J];電腦知識(shí)與技術(shù);2006年26期

2 吳立軍,蘇開樂;安全協(xié)議認(rèn)證的形式化方法研究[J];計(jì)算機(jī)工程與應(yīng)用;2004年17期

3 何冰,李肖堅(jiān),夏春和,夏克儉;公平的多方不可否認(rèn)協(xié)議[J];計(jì)算機(jī)工程與應(yīng)用;2005年27期

4 劉家芬;周明天;;認(rèn)證測試方法對X.509認(rèn)證協(xié)議的分析[J];計(jì)算機(jī)工程與應(yīng)用;2006年08期

5 李靜;肖美華;;網(wǎng)絡(luò)認(rèn)證協(xié)議攻擊的非形式化分析[J];計(jì)算機(jī)工程與應(yīng)用;2006年22期

6 楊世平;李祥;;BAN邏輯在協(xié)議分析中的密鑰猜測分析缺陷[J];計(jì)算機(jī)工程;2006年09期

7 劉霞,陳勇;安全協(xié)議的形式化方法概述[J];計(jì)算機(jī)與數(shù)字工程;2005年05期

8 劉勇,徐林;SSL中分級(jí)加密的實(shí)現(xiàn)[J];計(jì)算機(jī)與數(shù)字工程;2005年05期

9 卓繼亮,藺慧麗,李先賢;具有可信第三方的認(rèn)證協(xié)議的安全性[J];計(jì)算機(jī)應(yīng)用研究;2004年12期

10 曹進(jìn);嚴(yán)登洲;張睿;;遠(yuǎn)程教學(xué)系統(tǒng)中的信息安全問題與對策分析[J];教育信息化;2006年23期

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

1 劉益和;應(yīng)用區(qū)域邊界安全體系結(jié)構(gòu)的模型研究[D];四川大學(xué);2005年

2 肖迪;混沌理論在數(shù)字產(chǎn)品安全中的應(yīng)用研究[D];重慶大學(xué);2005年

3 王英龍;Ad Hoc網(wǎng)絡(luò)路由協(xié)議安全性分析方法研究[D];山東大學(xué);2005年

4 邢育紅;公平交換協(xié)議分析方法研究[D];山東大學(xué);2005年

5 繆祥華;一種分析和設(shè)計(jì)安全協(xié)議的新邏輯[D];西南交通大學(xué);2006年

6 文靜華;電子商務(wù)協(xié)議形式化方法及模型檢測技術(shù)的研究與應(yīng)用[D];貴州大學(xué);2006年

7 李謝華;基于串空間模型的安全協(xié)議形式化驗(yàn)證方法的研究[D];上海交通大學(xué);2007年

8 周勇;邏輯程序及其在安全協(xié)議驗(yàn)證中的應(yīng)用[D];南京航空航天大學(xué);2006年

9 潘洪軍;面向?qū)ο蟠鷶?shù)Petri網(wǎng)模型研究[D];吉林大學(xué);2007年

10 張瑤瑤;基于約束轉(zhuǎn)換的離散事件系統(tǒng)監(jiān)控器綜合[D];浙江大學(xué);2007年

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

1 彭詩力;網(wǎng)絡(luò)入侵檢測系統(tǒng)的研究與設(shè)計(jì)[D];中南大學(xué);2005年

2 張廣勝;基于時(shí)延Petri網(wǎng)的密碼協(xié)議分析和評估[D];山東科技大學(xué);2003年

3 李大科;手機(jī)銀行安全協(xié)議設(shè)計(jì)與分析研究[D];河海大學(xué);2004年

4 許建;基于Kerberos的身份認(rèn)證機(jī)制研究[D];河海大學(xué);2004年

5 石昊蘇;基于串空間模型分析與驗(yàn)證密碼安全協(xié)議[D];中國科學(xué)院研究生院（軟件研究所）;2004年

6 劉明;iPMX下TCP的設(shè)計(jì)與安全實(shí)現(xiàn)[D];南京理工大學(xué);2004年

7 鄧劍鋒;互聯(lián)網(wǎng)組管理安全的研究與實(shí)現(xiàn)[D];廣西師范大學(xué);2004年

8 劉萬授;基于UML安全協(xié)議的建模和自動(dòng)檢測[D];華南師范大學(xué);2005年

9 吳瑞龍;一種基于有色Petri網(wǎng)模型的安全協(xié)議檢測技術(shù)的研究[D];廣西大學(xué);2005年

10 練斌;安全微支付系統(tǒng)的研究與設(shè)計(jì)[D];西南交通大學(xué);2005年

【相似文獻(xiàn)】

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

1 馬亞南;劉楠;祝躍飛;胡宗立;;安全協(xié)議狀態(tài)空間的束動(dòng)作偏序約簡算法[J];計(jì)算機(jī)應(yīng)用研究;2011年09期

2 ;[J];;年期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

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

1 文靜華;李祥;;安全開放系統(tǒng)的Petri網(wǎng)模型[A];2005年全國開放式分布與并行計(jì)算學(xué)術(shù)會(huì)議論文集[C];2005年

2 魯志兵;胡金柱;胡燕;焦金丹;舒江波;;門戶網(wǎng)自助系統(tǒng)的擴(kuò)展有色Petri網(wǎng)建模與分析[A];2006年全國開放式分布與并行計(jì)算機(jī)學(xué)術(shù)會(huì)議論文集（三）[C];2006年

3 屠敏敏;周經(jīng)宇;徐國治;;有色Petri網(wǎng)對Ad-Hoc網(wǎng)絡(luò)協(xié)議軟件系統(tǒng)設(shè)計(jì)的建模與仿真[A];系統(tǒng)仿真技術(shù)及其應(yīng)用（第7卷）——'2005系統(tǒng)仿真技術(shù)及其應(yīng)用學(xué)術(shù)交流會(huì)論文選編[C];2005年

相關(guān)重要報(bào)紙文章 前1條

1 張旭;懷進(jìn)鵬：守護(hù)國家系統(tǒng)安全[N];中國工業(yè)報(bào);2010年

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

1 胡瑜;基于有色Petri網(wǎng)理論的并行自動(dòng)測試系統(tǒng)建模研究[D];電子科技大學(xué);2003年

2 繆祥華;一種分析和設(shè)計(jì)安全協(xié)議的新邏輯[D];西南交通大學(xué);2006年

3 柯飛帆;面向分布應(yīng)用的工作流管理系統(tǒng)研究與實(shí)現(xiàn)[D];南京航空航天大學(xué);2006年

4 吳維敏;離散事件系統(tǒng)的Petri網(wǎng)控制器綜合[D];浙江大學(xué);2002年

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

1 宋小衛(wèi);基于有色Petri網(wǎng)的Web服務(wù)應(yīng)用方法研究[D];大連理工大學(xué);2009年

2 周長紅;UML圖的Petri網(wǎng)建模[D];山東科技大學(xué);2004年

3 王海新;基于有色Petri網(wǎng)艦艇編隊(duì)C~3I系統(tǒng)的建模與仿真研究[D];西安電子科技大學(xué);2008年

4 劉通;Petri網(wǎng)在制造業(yè)物流系統(tǒng)中的應(yīng)用[D];西安建筑科技大學(xué);2006年

5 韓咚;基于顏色Petri網(wǎng)的安全協(xié)議分析[D];山東科技大學(xué);2007年

6 楊晴晴;約束組合有色時(shí)間Petri網(wǎng)應(yīng)用研究[D];合肥工業(yè)大學(xué);2007年

7 佐校峰;CPN在現(xiàn)代海軍編隊(duì)協(xié)同作戰(zhàn)C~3I系統(tǒng)建模仿真中的應(yīng)用[D];西安電子科技大學(xué);2008年

8 郭智奇;Petri網(wǎng)在井下機(jī)車調(diào)度中的建模與仿真[D];合肥工業(yè)大學(xué);2007年

9 折建峰;WAP事務(wù)層協(xié)議的有色PETRI網(wǎng)建模與分析[D];武漢科技大學(xué);2007年

10 鄧?yán)?基于Petri網(wǎng)的安全工作流管理系統(tǒng)建模與設(shè)計(jì)[D];華中科技大學(xué);2004年

，

本文編號(hào)：1942039