×

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

相关阅读

Copyright © 2020 WordTech Co.