期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
不同密码体制下挑战-应答协议的分析
被引量：
6
1
作者
陈贤
陈力琼
阔永红
《计算机工程与设计》
CSCD
北大核心
2008年第10期2493-2495,共3页
挑战-应答协议只有满足特定的安全条件才能保证实现其认证目标,用串空间模型对满足约束条件的协议形式进行建模,分别在对称和非对称密码两种密码体制下用认证测试方法对双方的互认证性进行形式化地分析,找出协议的漏洞及其形成的原因。...
挑战-应答协议只有满足特定的安全条件才能保证实现其认证目标,用串空间模型对满足约束条件的协议形式进行建模,分别在对称和非对称密码两种密码体制下用认证测试方法对双方的互认证性进行形式化地分析,找出协议的漏洞及其形成的原因。凭借测试元素进一步完善不同密码体制下挑战-应答协议的约束条件,以保证其实现互认证的要求,并为设计更复杂的认证协议提供依据。同时也从另一角度证明了基于串空间模型的认证测试方法在协议的形式化分析领域的重要价值。
展开更多
关键词
挑战-应答协议
串空间
对称密码体制
非对称密码体制
认证
测试方法
互认证性
测试元素
在线阅读
下载PDF
职称材料
题名
不同密码体制下挑战-应答协议的分析
被引量：
6
1
作者
陈贤
陈力琼
阔永红
机构
西安电子科技大学通信工程学院
上海交通大学计算机科学与工程系
出处
《计算机工程与设计》
CSCD
北大核心
2008年第10期2493-2495,共3页
基金
国家863高技术研究发展计划基金项目(2006AA01Z422)
文摘
挑战-应答协议只有满足特定的安全条件才能保证实现其认证目标,用串空间模型对满足约束条件的协议形式进行建模,分别在对称和非对称密码两种密码体制下用认证测试方法对双方的互认证性进行形式化地分析,找出协议的漏洞及其形成的原因。凭借测试元素进一步完善不同密码体制下挑战-应答协议的约束条件,以保证其实现互认证的要求,并为设计更复杂的认证协议提供依据。同时也从另一角度证明了基于串空间模型的认证测试方法在协议的形式化分析领域的重要价值。
关键词
挑战-应答协议
串空间
对称密码体制
非对称密码体制
认证
测试方法
互认证性
测试元素
Keywords
challenge-response protocol
strand spaces
symmetrical cryptography
unsymmetrical cryptography
authentication test
mutual authentication
test components
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
不同密码体制下挑战-应答协议的分析
陈贤
陈力琼
阔永红
《计算机工程与设计》
CSCD
北大核心
2008
6
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
