|
国家科技期刊平台
|
注册
中文
EN
首页
|
期刊导航
|
计算机工程
|
一种分析安全协议的新逻辑
一种分析安全协议的新逻辑
刘英杰
姚正安
计算机工程
2007，Vol.33
Issue(23)：163-166,4.
下载
✕
计算机工程
2007，Vol.33
Issue(23)
：163-166,4.
一种分析安全协议的新逻辑
New Logic for Analyzing Security Protocols
刘英杰
1
姚正安
1
作者信息
1.
中山大学数学与计算科学学院,广州,510275
折叠
摘要
关键词
安全协议
/
逻辑
/
可追究性
/
公平性
/
自动验证
分类
信息技术与安全科学
引用本文
复制引用
刘英杰,姚正安..一种分析安全协议的新逻辑[J].计算机工程,2007,33(23):163-166,4.
计算机工程
OA
北大核心
CSCD
CSTPCD
ISSN：
1000-3428
下载
访问量
1
|
下载量
0
段落导航
相关论文
摘要
关键词
分类
引用文本
