您的位置： 专家智库 > >

王巾盈

作品数：3 被引量：8H指数：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