期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
6
篇文章
<
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
职称材料
3G移动通讯AKA协议及其形式化验证
被引量：
1
2
作者
张爱新
杨明福
《华东理工大学学报（自然科学版）》
CAS
CSCD
北大核心
2003年第1期46-49,86,共5页
简略回顾了移动通讯的发展过程以及相应的安全机制。介绍了第三代移动通讯系统中所采用的认证与密钥协商协议,并利用AUTLOG信仰逻辑给出了形式化验证过程。在假定HE和SN之间的系统连接安全的前提下,该协议能够成功地达到预期目标。
关键词
3G移动通讯
AKA协议
形式化验证
移动通讯系统
密钥协商协议
AUTLOG
安全机制
认证
逻辑
下载PDF
职称材料
贝叶斯认证逻辑及其应用
被引量：
1
3
作者
陈晓平
《自然辩证法研究》
CSSCI
北大核心
1994年第9期1-9,47,共10页
贝叶斯认证逻辑及其应用陈晓平认证逻辑是关于证据与假设之间认证关系的逻辑。贝叶斯认证逻辑（ＢａｙｅｓｉａｎＣｏｎｆｉｒ－ｍａｔｉｏｎＬｏｇｉｃ）的特点在于，它是以贝叶斯概率公式为基本原理的。我们知道，贝叶斯公式是概率论...
贝叶斯认证逻辑及其应用陈晓平认证逻辑是关于证据与假设之间认证关系的逻辑。贝叶斯认证逻辑（ＢａｙｅｓｉａｎＣｏｎｆｉｒ－ｍａｔｉｏｎＬｏｇｉｃ）的特点在于，它是以贝叶斯概率公式为基本原理的。我们知道，贝叶斯公式是概率论的一个重要定理，这就决定了贝叶斯认...
展开更多
关键词
自然科学
科学方法论
认证
逻辑
贝叶斯
下载PDF
职称材料
移动通信系统中的用户认证和密钥协商协议
4
作者
唐曙晖
谷大武
《通信技术》
2005年第S1期146-149,共4页
为端到端保密移动通信系统设计了用户认证和密钥协商协议,该协议基于公钥密码体制。采用SVO逻辑对协议的安全性进行了形式化证明,对协议的计算复杂性进行了定性分析。分析表明,所提出的协议是安全且高效的。
关键词
认证
协议
端到端保密
SVO
认证
逻辑
原文传递
NSL协议逻辑化分析
5
作者
袁亚飞
廉玉忠
《宜春学院学报》
2004年第4期70-71,共2页
逻辑化方法是当前分析密码协议安全性的重要方法.本文通过运用一种新的认证逻辑系统,给出NSL 认证协议的形式化分析证明,并提出协议改进方案.
关键词
逻辑
化方法
认证
逻辑
系统
NSL协议
下载PDF
职称材料
一种改进的A(0)协议及其形式化分析
被引量：
3
6
作者
蔡永泉
朱勇
《计算机工程与应用》
CSCD
北大核心
2006年第34期109-111,共3页
针对A(0)协议不能抵抗重放和伪冒攻击的不足,在修改原协议的消息格式和增加握手确认消息的基础上,提出了一种A(0)协议的改进方案,并应用SVO逻辑对改进后的协议进行了形式化的安全性分析。改进后的协议在保持原协议简洁、高效优点的基础...
针对A(0)协议不能抵抗重放和伪冒攻击的不足,在修改原协议的消息格式和增加握手确认消息的基础上,提出了一种A(0)协议的改进方案,并应用SVO逻辑对改进后的协议进行了形式化的安全性分析。改进后的协议在保持原协议简洁、高效优点的基础上,增加了抵抗重放和抵抗伪冒攻击的能力。
展开更多
关键词
安全协议
认证
协议SVO
逻辑
形式化分析
下载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
职称材料
题名
3G移动通讯AKA协议及其形式化验证
被引量：
1
2
作者
张爱新
杨明福
机构
华东理工大学计算机科学与工程系
出处
《华东理工大学学报（自然科学版）》
CAS
CSCD
北大核心
2003年第1期46-49,86,共5页
文摘
简略回顾了移动通讯的发展过程以及相应的安全机制。介绍了第三代移动通讯系统中所采用的认证与密钥协商协议,并利用AUTLOG信仰逻辑给出了形式化验证过程。在假定HE和SN之间的系统连接安全的前提下,该协议能够成功地达到预期目标。
关键词
3G移动通讯
AKA协议
形式化验证
移动通讯系统
密钥协商协议
AUTLOG
安全机制
认证
逻辑
Keywords
mobile communications
authentication
key agreement
AUTLOG
分类号
TN929.533 [电子电信—通信与信息系统]
下载PDF
职称材料
题名
贝叶斯认证逻辑及其应用
被引量：
1
3
作者
陈晓平
机构
武汉大学哲学系副教授
出处
《自然辩证法研究》
CSSCI
北大核心
1994年第9期1-9,47,共10页
文摘
贝叶斯认证逻辑及其应用陈晓平认证逻辑是关于证据与假设之间认证关系的逻辑。贝叶斯认证逻辑（ＢａｙｅｓｉａｎＣｏｎｆｉｒ－ｍａｔｉｏｎＬｏｇｉｃ）的特点在于，它是以贝叶斯概率公式为基本原理的。我们知道，贝叶斯公式是概率论的一个重要定理，这就决定了贝叶斯认...
关键词
自然科学
科学方法论
认证
逻辑
贝叶斯
分类号
N03 [自然科学总论—科学技术哲学]
下载PDF
职称材料
题名
移动通信系统中的用户认证和密钥协商协议
4
作者
唐曙晖
谷大武
机构
上海交通大学计算机系
出处
《通信技术》
2005年第S1期146-149,共4页
文摘
为端到端保密移动通信系统设计了用户认证和密钥协商协议,该协议基于公钥密码体制。采用SVO逻辑对协议的安全性进行了形式化证明,对协议的计算复杂性进行了定性分析。分析表明,所提出的协议是安全且高效的。
关键词
认证
协议
端到端保密
SVO
认证
逻辑
Keywords
authentication protocol
end-to-end security
SVO logic
分类号
TN929.5 [电子电信—通信与信息系统]
原文传递
题名
NSL协议逻辑化分析
5
作者
袁亚飞
廉玉忠
机构
解放军信息工程大学信息工程学院
出处
《宜春学院学报》
2004年第4期70-71,共2页
文摘
逻辑化方法是当前分析密码协议安全性的重要方法.本文通过运用一种新的认证逻辑系统,给出NSL 认证协议的形式化分析证明,并提出协议改进方案.
关键词
逻辑
化方法
认证
逻辑
系统
NSL协议
Keywords
authentication protocol
BAN-like logic
formal analysis
分类号
TP309 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
一种改进的A(0)协议及其形式化分析
被引量：
3
6
作者
蔡永泉
朱勇
机构
北京工业大学计算机学院
出处
《计算机工程与应用》
CSCD
北大核心
2006年第34期109-111,共3页
基金
国家863高技术研究发展计划资助项目(2005AA147090)
北京教委科技发展计划面上项目(KM200610005001)。
文摘
针对A(0)协议不能抵抗重放和伪冒攻击的不足,在修改原协议的消息格式和增加握手确认消息的基础上,提出了一种A(0)协议的改进方案,并应用SVO逻辑对改进后的协议进行了形式化的安全性分析。改进后的协议在保持原协议简洁、高效优点的基础上,增加了抵抗重放和抵抗伪冒攻击的能力。
关键词
安全协议
认证
协议SVO
逻辑
形式化分析
Keywords
security protocol
authentication protocol
SVO logical
formal analysis
分类号
TP393.7 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于认证测试的安全协议分析
杨明
罗军舟
《软件学报》
EI
CSCD
北大核心
2006
16
下载PDF
职称材料
2
3G移动通讯AKA协议及其形式化验证
张爱新
杨明福
《华东理工大学学报（自然科学版）》
CAS
CSCD
北大核心
2003
1
下载PDF
职称材料
3
贝叶斯认证逻辑及其应用
陈晓平
《自然辩证法研究》
CSSCI
北大核心
1994
1
下载PDF
职称材料
4
移动通信系统中的用户认证和密钥协商协议
唐曙晖
谷大武
《通信技术》
2005
0
原文传递
5
NSL协议逻辑化分析
袁亚飞
廉玉忠
《宜春学院学报》
2004
0
下载PDF
职称材料
6
一种改进的A(0)协议及其形式化分析
蔡永泉
朱勇
《计算机工程与应用》
CSCD
北大核心
2006
3
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
