期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于认证测试的安全协议分析
被引量：
16
1
作者
杨明
罗军舟
《软件学报》
EI
CSCD
北大核心
2006年第1期148-156,共9页
认证测试是一种新型的在Strand空间模型基础上发展而来的安全协议分析与辅助设计技术,可用于大部分协议的关联属性的分析;但是与Strand空间模型一样,它主要用于协议正确性证明,在协议为何不正确以及如何进行改进这个问题上处理分析能力...
认证测试是一种新型的在Strand空间模型基础上发展而来的安全协议分析与辅助设计技术,可用于大部分协议的关联属性的分析;但是与Strand空间模型一样,它主要用于协议正确性证明,在协议为何不正确以及如何进行改进这个问题上处理分析能力较弱.在认证测试概念的基础上,结合逻辑分析的优点,提出了增强型认证测试EAT(enhanced authentication test)和Correspondence函数等概念来对安全协议进行关联属性的分析,很好地解决了这一问题.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.
展开更多
关键词
网络安全
协议分析
strand
空间
模型
认证测试
认证逻辑
下载PDF
职称材料
Strand空间中基于安全密钥概念的证明思路
被引量：
1
2
作者
任侠
吕述望
《通信学报》
EI
CSCD
北大核心
2005年第2期29-34,共6页
提出了Strand空间模型中证明安全协议的一个新思路,它从安全密钥的概念出发,参照基于理想概念的证明方法,得出证明所需的预备结论,从而对协议的秘密属性与认证属性进行证明。此外,还给出了一个针对Yahalom-BAN协议安全性的证明实例,从...
提出了Strand空间模型中证明安全协议的一个新思路,它从安全密钥的概念出发,参照基于理想概念的证明方法,得出证明所需的预备结论,从而对协议的秘密属性与认证属性进行证明。此外,还给出了一个针对Yahalom-BAN协议安全性的证明实例,从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三方认证协议的证明,并且它还使得证明过程简洁而直观。
展开更多
关键词
计算机科学技术基础学科
安全协议证明
strand
空间
模型
安全密钥
理想概念
下载PDF
职称材料
Strand空间中基于安全密钥概念的证明思路之我见
3
作者
魏少峰
张颖
《无线互联科技》
2013年第3期101-101,167,共2页
一种基于安全密钥证明Strand空间模型新思路,从安全密钥的概念着手,在理想概念证明法的基础上得到预备结论,证明协议的认证属性及秘密属性。
关键词
strand
空间
模型
安全密钥
安全协议
理想概念
下载PDF
职称材料
题名
基于认证测试的安全协议分析
被引量：
16
1
作者
杨明
罗军舟
机构
东南大学计算机科学与工程系网络室
出处
《软件学报》
EI
CSCD
北大核心
2006年第1期148-156,共9页
基金
国家自然科学基金
江苏省"网络与信息安全"重点实验室
江苏省高技术研究项目~~
文摘
认证测试是一种新型的在Strand空间模型基础上发展而来的安全协议分析与辅助设计技术,可用于大部分协议的关联属性的分析;但是与Strand空间模型一样,它主要用于协议正确性证明,在协议为何不正确以及如何进行改进这个问题上处理分析能力较弱.在认证测试概念的基础上,结合逻辑分析的优点,提出了增强型认证测试EAT(enhanced authentication test)和Correspondence函数等概念来对安全协议进行关联属性的分析,很好地解决了这一问题.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.
关键词
网络安全
协议分析
strand
空间
模型
认证测试
认证逻辑
Keywords
network security
protocol analysis
strand
space model
authentication test
authentication logic
分类号
TP309 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
Strand空间中基于安全密钥概念的证明思路
被引量：
1
2
作者
任侠
吕述望
机构
中国科学院研究生院信息安全国家重点实验室
出处
《通信学报》
EI
CSCD
北大核心
2005年第2期29-34,共6页
基金
国家"863"基金资助项目(2002AA141040)
国家"973"基金资助项目(G1999035800)
文摘
提出了Strand空间模型中证明安全协议的一个新思路,它从安全密钥的概念出发,参照基于理想概念的证明方法,得出证明所需的预备结论,从而对协议的秘密属性与认证属性进行证明。此外,还给出了一个针对Yahalom-BAN协议安全性的证明实例,从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三方认证协议的证明,并且它还使得证明过程简洁而直观。
关键词
计算机科学技术基础学科
安全协议证明
strand
空间
模型
安全密钥
理想概念
Keywords
basic department of computer science and technology
security protocol proof
strand
spaces model
safe keys
concept of ideals
分类号
TP309 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
Strand空间中基于安全密钥概念的证明思路之我见
3
作者
魏少峰
张颖
机构
南昌大学
江西省商务学校
出处
《无线互联科技》
2013年第3期101-101,167,共2页
文摘
一种基于安全密钥证明Strand空间模型新思路,从安全密钥的概念着手,在理想概念证明法的基础上得到预备结论,证明协议的认证属性及秘密属性。
关键词
strand
空间
模型
安全密钥
安全协议
理想概念
分类号
TN918.1 [电子电信—通信与信息系统]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于认证测试的安全协议分析
杨明
罗军舟
《软件学报》
EI
CSCD
北大核心
2006
16
下载PDF
职称材料
2
Strand空间中基于安全密钥概念的证明思路
任侠
吕述望
《通信学报》
EI
CSCD
北大核心
2005
1
下载PDF
职称材料
3
Strand空间中基于安全密钥概念的证明思路之我见
魏少峰
张颖
《无线互联科技》
2013
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
