2024年8月19日
星期一
|
欢迎来到青海省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
王巾盈
作品数:
3
被引量:8
H指数:1
供职机构:
北京跟踪与通信技术研究所
更多>>
发文基金:
国家自然科学基金
更多>>
相关领域:
自动化与计算机技术
电子电信
航空宇航科学技术
更多>>
合作作者
李舟军
北京航空航天大学计算机学院
周倜
国防科学技术大学计算机学院
李梦君
国防科学技术大学计算机学院
孙喜
太原卫星发射中心
王广成
太原卫星发射中心
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
3篇
中文期刊文章
领域
2篇
自动化与计算...
1篇
电子电信
1篇
航空宇航科学...
主题
1篇
信号
1篇
形式化
1篇
形式化验证
1篇
遥测数据
1篇
遥测数据处理
1篇
遥测信号
1篇
时间戳
1篇
数据处理
1篇
数学形态
1篇
数学形态学
1篇
滤波器
1篇
安全协议
1篇
KERBER...
1篇
KERBER...
机构
3篇
北京跟踪与通...
2篇
国防科学技术...
2篇
北京航空航天...
1篇
中国人民解放...
1篇
太原卫星发射...
作者
3篇
王巾盈
2篇
周倜
2篇
李舟军
1篇
李梦君
1篇
王广成
1篇
孙喜
1篇
王志勇
传媒
2篇
计算机科学
1篇
飞行器测控学...
年份
3篇
2009
共
3
条 记 录,以下是 1-3
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
Kerberos协议版本的分析与比较
被引量:7
2009年
Kerberos协议是由MIT开发出来的、广泛地用于对用户及网络连接进行安全认证服务的一种安全验证机制。基于共享密钥的方式,Kerberos协议保障了在不安全网络上进行服务会话的保密性和完整性。详细介绍了基于传统的保密性而建立起来的Kerberos协议版本4的基本原理,描述了Kerberos协议版本4的认证结构,指出了其不足之处。最后系统地阐述了版本5的消息交换过程和相关改进。
周倜
王巾盈
李梦君
李舟军
关键词:
KERBEROS协议
时间敏感的安全协议建模与验证:研究综述
2009年
安全协议用于实现开放互连网的通讯安全,时间戳可以保证协议传输消息时的新鲜性。但目前对含有时间特性的协议的研究还很不成熟,还没有有效的方法来验证带时间戳的安全协议。这使得一些大规模复杂协议的安全性质无法通过形式化方法进行全面的验证。详细说明了时间戳的起因和研究时间戳的原因;详细介绍了国际上时间戳特性的几种主流研究方法——MSR方法、归纳法、CSP方法和BAN逻辑在时间敏感安全协议验证方面的工作,对它们的优缺点进行了评述,并指出了进一步的研究方向。
周倜
李舟军
王志勇
王巾盈
关键词:
安全协议
形式化验证
时间戳
数学形态学在遥测数据处理中的应用研究
被引量:1
2009年
叙述了数学形态学的基本算法。讨论了数学形态学算法在遥测数据处理中的应用。提出了结构元素的选择要求,并对实测数据进行了效果分析。
王广成
王巾盈
孙喜
关键词:
数学形态学
滤波器
遥测信号
数据处理
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张