|国家科技期刊平台

首页|期刊导航|计算机工程与应用|安全协议形式化验证方法的比较与分析

安全协议形式化验证方法的比较与分析

黄连生王新兵谢峰杨克

计算机工程与应用2001，Vol.37Issue(14)：54-57,4.

✕

计算机工程与应用2001，Vol.37Issue(14)：54-57,4.

安全协议形式化验证方法的比较与分析

Comparison and Analysis of the Formal Tools of Authentication Protocol

黄连生 ¹王新兵 ¹谢峰 ¹杨克¹

作者信息

1. 清华大学计算机系
折叠

摘要

关键词

形式化验证/协议/证明与证伪

分类

信息技术与安全科学

引用本文复制引用

黄连生,王新兵,谢峰,杨克..安全协议形式化验证方法的比较与分析[J].计算机工程与应用,2001,37(14):54-57,4.

计算机工程与应用

OA北大核心CSCD

ISSN：1002-8331

访问量0

|

下载量0

段落导航

相关论文

摘要
关键词
分类
引用文本