|国家科技期刊平台
| 注册
首页|期刊导航|电子学报|一种安全协议的组合分析模型研究

一种安全协议的组合分析模型研究

谢鸿波 吴远成 刘一静 周明天

电子学报2008，Vol.36Issue(11)：2262-2267,6.
✕
电子学报2008，Vol.36Issue(11)：2262-2267,6.

一种安全协议的组合分析模型研究

A Study on the Combined Analysis Model of Security Protocols

谢鸿波 1吴远成 2刘一静 1周明天3

作者信息

  • 1. 电子科技大学计算机科学与工程学院,四川成都,610054
  • 2. 重庆通信学院三系数据链教研室,重庆,400035
  • 3. 四川大学计算机学院,四川成都,610065
  • 折叠

摘要

关键词

知识推理/进程演算/形式化分析/安全属性

分类

信息技术与安全科学

引用本文复制引用

谢鸿波,吴远成,刘一静,周明天..一种安全协议的组合分析模型研究[J].电子学报,2008,36(11):2262-2267,6.

基金项目

电子科学基金(No.514500101DZ02) （No.514500101DZ02）

国家重点基础研究发展规划项目(No.G1999035803) （No.G1999035803）

电子学报

OA北大核心CSCDCSTPCD

0372-2112

访问量3
|
下载量0
段落导航相关论文