gny 中文意思是什麼
gny
解釋
廣元-
In this paper, the belief logic system gny and it ' s related implementation tool spearii are utilized, ssl protocol is a focused instance, then the detailed analysis procedure from initial protocol model to various evolution protocol models is given, later the final evolution protocol model and ssl protocol are contrasted and thus the security analysis conclusion is drawn for ssl. during the analysis procedure two practical security authentication solutions are designed based on evolution protocol models
本文採用著名的信念邏輯gny邏輯系統及其相關的形式化工具spear ，以ssl協議為分析實例，詳細闡述了從初始協議模型到各個進化協議模型的分析過程，並將最終的進化模型與ssl協議作比較，給出ssl協議的安全分析，同時在分析過程中以協議模型為基礎設計了兩個實用的安全認證方案。 -
Furthermore, three expanded gny logic rules are given during above analysis based on gny, and at the end of this paper, security protocol formal verification based on attack logics is discussed and presented, a development framework of integrating such verification model into automated analysis tools such as spearii is shown finally
另外，本文在使用gny邏輯的分析過程中，提出三條實用的gny擴展規則，而在文章最後，對基於攻擊邏輯的安全協議驗證方法作了初步研究，提出了將該協議攻擊驗證技術融入協議自動分析工具的設計框架。
分享友人