|国家科技期刊平台
| 注册
首页|期刊导航|计算机工程|一种新的安全协议形式化分析方法——证据逻辑

一种新的安全协议形式化分析方法——证据逻辑

陆阳 肖军模 刘晶

计算机工程2008，Vol.34Issue(2)：92-94,3.
✕
计算机工程2008，Vol.34Issue(2)：92-94,3.

一种新的安全协议形式化分析方法——证据逻辑

New Formal Analysis Method for Security Protocols——Proof Logic

陆阳 1肖军模 2刘晶1

作者信息

  • 1. 解放军理工大学通信工程学院电子信息工程系,南京,210007
  • 2. 河海大学计算机及信息工程学院,南京,210098
  • 折叠

摘要

关键词

安全协议/形式化分析/证据逻辑

分类

信息技术与安全科学

引用本文复制引用

陆阳,肖军模,刘晶..一种新的安全协议形式化分析方法——证据逻辑[J].计算机工程,2008,34(2):92-94,3.

基金项目

国家自然科学基金资助重点项目"信息防护关键技术研究"(69931040) （69931040）

计算机工程

OA北大核心CSCDCSTPCD

1000-3428

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