×

gny中文

發音:   用"gny"造句
  • 廣元
下載查查詞典APP隨時查詞查翻譯

例句與用法

  1. 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協議的安全分析,同時在分析過程中以協議模型為基礎設計了兩個實用的安全認證方案。
  2. 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擴展規則,而在文章最后,對基于攻擊邏輯的安全協議驗證方法作了初步研究,提出了將該協議攻擊驗證技術融入協議自動分析工具的設計框架。

相關詞匯

  1. gnu自由文檔協議證書中文
  2. gnu自由文檔許可證中文
  3. gnu自由文檔許可證文本中文
  4. gnv gainesvil中文
  5. gnvq中文
  6. gnyav-khri-btsan-po中文
  7. gnyoungou中文
  8. gnz ghanzi中文
  9. go中文
  10. go (es) as follows中文
桌面版简体版English

相關英語閱讀

難倒一大批人的英語句子,有幾個你知道真正意思的?
恐怖!德國男子疑18年間默默毒死21名同事!(雙語)

Copyright © 2021 WordTech Co.