<dfn id="w48us"></dfn><ul id="w48us"></ul>
  • <ul id="w48us"></ul>
  • <del id="w48us"></del>
    <ul id="w48us"></ul>
  • 符號化模型檢測網絡安全協議

    時間:2024-07-18 17:41:50 計算機應用畢業論文 我要投稿
    • 相關推薦

    符號化模型檢測網絡安全協議

    畢業論文

    摘  要

    簡要回顧了形式化方法的發展歷程,闡述了形式化分析的定義、方法、重要性及主要研究內容,討論了形式規約語言與方法,以及演繹證明和模型檢測等形式化驗證方法。
    密碼協議安全性的分析是網絡安全的1個難題,運用形式化方法對密碼協議進行分析1直是該領域的研究熱點;本文以1個實例闡述運用模型檢測工具SMV對TMN密碼協議進行形式分析,在建立1個有限狀態系統模型和刻畫TMN密碼協議安全性質的基礎上,發現了1些新的攻擊。
    著重分析了模型檢測技術和邏輯推證技術的優點和不足,并在此基礎上提出了1種混合形式化技術的說明,該技術可提供更為完全的安全協議形式化分析。
    關鍵字:形式化分析;SMV模型;模型檢測;邏輯推證;混合分析技術。

    Abstract

      This paper presents the definition and importance of formal methods after simply looking back on the history of formal methods, and provides an overview of formal methods. Discusses specification languages (methods) and verification methods that include deductive proving and model checking.
    It is a hard problem in area of computer network security to analyze cryptographic protocols. Using formal methods to analyze cryptographic protocols remains the key issue in this field. In this paper, a methodology is presented by using a model checker of formal methods, SMV, to analyze the TMN cryptographic protocol. After building a finite state system of the protocol and describing the security property of the protocol, SMV is used to discover some new attacks upon TMN cryptographic protocol.
    The advantages and disadvantages of model checking technology and logic reasoning technology is analyzed, Based on it, the author gives a specification of new mixed technology of the two technologies which can provide a more complete formal analysis of security protocols.
    Key words:  formal analysis; SMV; model checking; logic reasoning technology; mixed formal analysis technology.

    注釋:不含源代碼

    符號化模型檢測網絡安全協議

    【符號化模型檢測網絡安全協議】相關文章:

    談分布式入侵檢測系統模型設計09-04

    淺談分布式入侵檢測系統模型設計07-11

    基于AdaBoost+膚色模型的多人臉檢測考勤系統06-01

    淺談平面廣告信息傳達的符號化09-06

    淺談平面廣告信息傳達的符號化06-03

    剩余收益模型與傳統DCF模型的比較研究07-07

    運動模型與Ad Hoc路由協議性能仿真08-01

    消費社會的女性符號化傾向-淺析“美女經濟"的社會學透視09-01

    論IP電話模型09-13

    審計風險模型探討08-26

    主站蜘蛛池模板: 全国精品一区二区在线观看| 精品国产三级a∨在线欧美| 一本精品中文字幕在线| 精品一卡2卡三卡4卡免费视频| 婷婷国产成人精品一区二| 97久久精品人人做人人爽| 国产精品色内内在线播放| 亚洲精品视频在线看| 国产精品秘入口福利姬网站| 国产精品1024香蕉在线观看| 久久精品国产亚洲av日韩| 亚洲?V无码成人精品区日韩| 亚欧洲精品在线视频免费观看 | 99精品高清视频一区二区| 亚洲精品国产精品国自产观看 | 国产成人无码久久久精品一| 亚洲精品中文字幕无码蜜桃| 久久夜色撩人精品国产| 精品国产免费人成网站| 国产精品免费久久久久电影网| 久久er国产精品免费观看2| 精品久久久久久国产潘金莲 | 日韩精品一区二区三区中文字幕| 国产精品永久久久久久久久久| 国产精品成人在线| 999国内精品永久免费观看| 国精品无码一区二区三区左线| 久久香综合精品久久伊人| 亚洲国产精品成人久久| 亚洲综合精品一二三区在线| 99久久99久久精品国产| 久久99精品久久只有精品| 无码国模国产在线无码精品国产自在久国产| 成人精品一区二区久久| 欧美日韩精品乱国产538| 国产精品久久久久久影院| 国产精品三级国产电影| 久久精品亚洲一区二区三区浴池| 亚洲日韩精品一区二区三区无码 | 精品亚洲成AV人在线观看| 麻豆aⅴ精品无码一区二区|