期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
安全协议形式化分析的不变式生成技术
被引量:
1
1
作者
范红
冯登国
郭金庚
《中国科学院研究生院学报》
CAS
CSCD
2002年第1期91-96,共6页
给出了应用于不同系统的不变式的概述,分析了彼此之间的关系,进行了分类,并探讨了其未来发展趋势.密码协议的形式化分析日渐引起人们的广泛关注.这导致了不变式生成与描述技术的发展.不变式是对入侵者可知和不可知消息的定义,可用于协...
给出了应用于不同系统的不变式的概述,分析了彼此之间的关系,进行了分类,并探讨了其未来发展趋势.密码协议的形式化分析日渐引起人们的广泛关注.这导致了不变式生成与描述技术的发展.不变式是对入侵者可知和不可知消息的定义,可用于协议认证和秘密性的证明。
展开更多
关键词
协议
形式化分析
不变式
下载PDF
职称材料
题名
安全协议形式化分析的不变式生成技术
被引量:
1
1
作者
范红
冯登国
郭金庚
机构
中国科
学院
研究生院
信息
安全
国家重点实验室
解放军信息工程大学安全学院计算机系
出处
《中国科学院研究生院学报》
CAS
CSCD
2002年第1期91-96,共6页
基金
973资助项目(G19990 35 80 2 )
国家杰出青年科学基金资助项目(6 0 0 2 5 2 0 5)
文摘
给出了应用于不同系统的不变式的概述,分析了彼此之间的关系,进行了分类,并探讨了其未来发展趋势.密码协议的形式化分析日渐引起人们的广泛关注.这导致了不变式生成与描述技术的发展.不变式是对入侵者可知和不可知消息的定义,可用于协议认证和秘密性的证明。
关键词
协议
形式化分析
不变式
Keywords
cryptographic protocols, formal analysis,invariant
分类号
TP309 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
安全协议形式化分析的不变式生成技术
范红
冯登国
郭金庚
《中国科学院研究生院学报》
CAS
CSCD
2002
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部