搜索筛选:
搜索耗时1.9743秒,为你在为你在102,285,761篇论文里面共找到 6 篇相符的论文内容
发布年度:
[期刊论文] 作者：仇细平,缪祥华,杨晓婕,
来源：通信市场 年份：2009
安全协议的形式化验证能有效检验安全协议的安全性,BAN类逻辑的发展极大的促进了这一领域的研究,而SVO逻辑是BAN类逻辑的佼佼者.本文通过增加和改进SVO逻辑的推理规则以及公...
[期刊论文] 作者：杨晓婕,缪祥华,仇细平,
来源：通信市场 年份：2009
串空间是一种基于定理证明的,新兴的安全协议形式化分析模型.认证协议使用密码技术实现网络环境下的身份认证和信息保密.本文针对Woo-Lam协议的不足,对其进行改进,提出了一种...
[会议论文] 作者：杨晓婕, 缪祥华, 仇细平,,
来源： 年份：2004
串空间是一种基于定理证明的,新兴的安全协议形式化分析模型。本文针对Yahalom协议的不足,对其进行改进,提出了一种新的Yahalom协议,本文基于串空间模型,运用"理想"和"诚实"...
[期刊论文] 作者：缪祥华,张云生,仇细平,杨晓婕,,
来源：云南民族大学学报(自然科学版) 年份：2008
研究了2种安全协议的分析方法，即BAN逻辑和串空间．利用这2种方法分别分析了Needham-Schroeder公钥协议，指出了这2种方法各自的优点和缺点．在对这2种方法进行了比较后，指出了这2种......
[会议论文] 作者：QIU Xiping,仇细平,MIAO Xianghua,缪祥华,YANG Xiaojie,杨晓婕,
来源：中国电子学会信息论分会2009年研究生学术交流会 年份：2010
安全协议的形式化验证能有效检验安全协议的安全性,BAN类逻辑的发展极大的促进了这一领域的研究,而SVO逻辑是BAN类逻辑的佼佼者。本文指出了Otway-Rees认证协议的一些缺陷,并对其作了相应的改进。用SVO逻辑来分析了改进的Otway-Rees认证协议,发现改进的协议能达......
[会议论文] 作者：YANG Xiaojie,杨晓婕,MIAO Xianghua,缪祥华,QIU Xiping,仇细平,
来源：中国电子学会信息论分会2009年研究生学术交流会 年份：2010
串空间是一种基于定理证明的，新兴的安全协议形式化分析模型。本文针对Yahalom协议的不足，对其进行改进，提出了一种新的Yahalom协议，本文基于串空间模型，运用“理想”和“诚实”作为工具，对改进的Yahalom协议的安全性进行了分析，结果证明了改进的Yahalom协议是安全的。......
相关搜索：
