電子發燒友App
創作
發文章
發帖 
提問 
發資料
發視頻資料介紹
基于進程代數的CSP 方法是一種重要的形式化協議分析驗證方法。本文首先簡單介紹了CSP 相關理論，并以NSPK 協議為例系統概述了安全協議的CSP 建模方法。為更好的查明協議的安全缺陷，重點研究如何在CSP的體系結構中對協議的安全屬性進行形式化描述。并最終提出秘密性、認證性、不可否認性、匿名性的形式化提煉檢測目標，為進一步使用模型檢測器進行協議驗證奠定了理論和技術基礎。
關鍵詞建模 進程 入侵者 安全屬性
Abstract: It is an important formal method in protocol’s analysis that CSP approach based on the process algebra. In this paper, the CSP theory is introduced in brief and then the CSP modeling Approach of security protocols is summarized by using the NSPK example. It is studied formal description of Security Properties in the CSP system frame in order to find out the bug of security protocols in effect. In finally, it is presented the refine verifying targets of secrecy、authentication、non-repudiation and anonymity in formal which given the theoretical foundation for the model checking.
Keywords: Modeling, Process, Intruder, Security Property
關鍵詞建模 進程 入侵者 安全屬性
Abstract: It is an important formal method in protocol’s analysis that CSP approach based on the process algebra. In this paper, the CSP theory is introduced in brief and then the CSP modeling Approach of security protocols is summarized by using the NSPK example. It is studied formal description of Security Properties in the CSP system frame in order to find out the bug of security protocols in effect. In finally, it is presented the refine verifying targets of secrecy、authentication、non-repudiation and anonymity in formal which given the theoretical foundation for the model checking.
Keywords: Modeling, Process, Intruder, Security Property
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 先進封裝形式μBGA、CSP的回流焊接技術說明 4次下載
- 通信協議及接口技術匯總綜述 90次下載
- UXGA-CMOS圖像傳感器GC2145 CSP數據手冊 64次下載
- VGA CMOS圖像傳感器GC032A CSP數據手冊 125次下載
- 隱私保護和前向安全的RFID組證明協議 10次下載
- 基于曼哈頓距離的隱私安全計算協議綜述 3次下載
- TIRIS總線協議（TBP）的詳細資料描述和應用概述 6次下載
- RFID安全認證協議 4次下載
- 基于關鍵跡和ASP的CSP模型檢測 1次下載
- 基于ARM技術的遠程圖像信息傳輸描述了tcp/ip協議實現圖像信息傳輸的方式 10次下載
- 基于Petri網的安全協議形式化描述和安全性驗證 18次下載
- 基于信念綁定的安全協議消息塊設計方法
- 1-多交互協議本體的描述
- 基于GSPM的安全協議檢驗工具
- 電子商務中SET協議安全技術淺析
- 安全多方計算技術解析 1101次閱讀
- BGA和CSP封裝技術詳解 2572次閱讀
- 開發CSP產品需要解決的技術問題 659次閱讀
- HLS協議實現 826次閱讀
- IPSec協議的基本工作原理是什么 1.4w次閱讀
- ARP是什么意思？ARP是什么協議？ARP協議用于什么地方 1.9w次閱讀
- 在貼片加工廠中有哪些安全防護需要了解 1408次閱讀
- 基于視覺密碼的RFID安全協議是怎樣的 739次閱讀
- 東大金智科技2乘2取2安全計算機平臺描述 2409次閱讀
- CSP封裝是什么？具有什么特點 2w次閱讀
- 海迪科研發新型光源WLCSP解決CSP技術屏障問題 4573次閱讀
- CSP LED封裝技術會成為主流嗎？ 1w次閱讀
- CSP封裝的散熱挑戰 1234次閱讀
- RFID技術應用的安全與隱私威脅解析 1w次閱讀
- 什么是CSP封裝,CSP封裝量產測試的問題及解決方案研究 8051次閱讀
上傳資料賺積分下載排行
本周
- 1電子電路原理第七版PDF電子教材免費下載
- 0.00 MB | 1490次下載 | 免費
- 2單片機典型實例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實例詳細資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費
- 6基于AT89C2051/4051單片機編程器的實驗
- 0.11 MB | 4次下載 | 免費
- 7基于單片機和 SG3525的程控開關電源設計
- 0.23 MB | 3次下載 | 免費
- 8基于單片機的紅外風扇遙控
- 0.23 MB | 3次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費
- 4LabView 8.0 專業版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費
- 5555集成電路應用800例(新編版)
- 0.00 MB | 33562次下載 | 免費
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費
- 8開關電源設計實例指南
- 未知 | 21539次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費
- 2protel99se軟件下載(可英文版轉中文版)
- 78.1 MB | 537791次下載 | 免費
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費
- 6電路仿真軟件multisim 10.0免費下載
- 340992 | 191183次下載 | 免費
- 7十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183277次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138039次下載 | 免費
工商網監
評論