期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
Kerberos协议版本的分析与比较 被引量:6
1
作者 周倜 王巾盈 +1 位作者 李梦君 李舟军 《计算机科学》 CSCD 北大核心 2009年第2期119-121,128,共4页
Kerberos协议是由MIT开发出来的、广泛地用于对用户及网络连接进行安全认证服务的一种安全验证机制。基于共享密钥的方式,Kerberos协议保障了在不安全网络上进行服务会话的保密性和完整性。详细介绍了基于传统的保密性而建立起来的Kerbe... Kerberos协议是由MIT开发出来的、广泛地用于对用户及网络连接进行安全认证服务的一种安全验证机制。基于共享密钥的方式,Kerberos协议保障了在不安全网络上进行服务会话的保密性和完整性。详细介绍了基于传统的保密性而建立起来的Kerberos协议版本4的基本原理,描述了Kerberos协议版本4的认证结构,指出了其不足之处。最后系统地阐述了版本5的消息交换过程和相关改进。 展开更多
关键词 KERBEROS协议 安全 认证 缺陷
下载PDF
数学形态学在遥测数据处理中的应用研究 被引量:1
2
作者 王广成 王巾盈 孙喜 《飞行器测控学报》 2009年第1期33-37,共5页
叙述了数学形态学的基本算法。讨论了数学形态学算法在遥测数据处理中的应用。提出了结构元素的选择要求,并对实测数据进行了效果分析。
关键词 数学形态学 滤波器 遥测信号 数据处理
下载PDF
时间敏感的安全协议建模与验证:研究综述
3
作者 周倜 李舟军 +1 位作者 王志勇 王巾盈 《计算机科学》 CSCD 北大核心 2009年第8期3-7,48,共6页
安全协议用于实现开放互连网的通讯安全,时间戳可以保证协议传输消息时的新鲜性。但目前对含有时间特性的协议的研究还很不成熟,还没有有效的方法来验证带时间戳的安全协议。这使得一些大规模复杂协议的安全性质无法通过形式化方法进行... 安全协议用于实现开放互连网的通讯安全,时间戳可以保证协议传输消息时的新鲜性。但目前对含有时间特性的协议的研究还很不成熟,还没有有效的方法来验证带时间戳的安全协议。这使得一些大规模复杂协议的安全性质无法通过形式化方法进行全面的验证。详细说明了时间戳的起因和研究时间戳的原因;详细介绍了国际上时间戳特性的几种主流研究方法——MSR方法、归纳法、CSP方法和BAN逻辑在时间敏感安全协议验证方面的工作,对它们的优缺点进行了评述,并指出了进一步的研究方向。 展开更多
关键词 安全协议 形式化验证 时间模型 时间戳
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部