周倜
- 作品数：25 被引量：32H指数：4
- 供职机构：北京航天飞行控制中心更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术电子电信更多>>
- 一种航天器故障预测处理方法及装置
- 本发明提供一种航天器故障预测处理方法及装置，涉及测控技术领域。所述方法包括：获取航天器故障预测的单遥测参数，根据所述单遥测参数的参数值所在的预设数值区间和所述参数值，确定所述单遥测参数的风险状态；若确定风险状态达到预设层...
- 周倜余嘉晨唐卿刘晓辉王磊欧阳柳王尧袁鹤珊
- 月面巡视器遥操作实时仿真验证方法研究
- 为确保月面巡视器遥操作控制安全性，在控制实施前需要对规划结果进行快速实时仿真验证。提出了数值仿真与基于三维场景的人在回路验证相结合的遥操作实时仿真验证方法，给出了方法流程及验证指标。为实现自动化数值仿真验证，提出了从规划...
- 苗毅王磊周倜崔凯云詹磊
- 关键词：遥操作仿真验证人在回路
- 基于Horn逻辑扩展模型的时间敏感安全协议验证
- 2006年
- 分析了Bruno Blanchet和Martin Abadi提出的基于Horn逻辑的安全协议模型及其验证方法,针对它们在验证时间敏感安全协议时的不足,提出了带时间约束的安全协议的Horn逻辑扩展模型和修改版本的安全协议验证方法,并给出了相应的定义和定理,使得带时间约束的安全协议的Horn逻辑扩展模型和修改版本的安全协议验证能够分析依赖时间的安全协议的安全性质.通过在验证中加入时间约束条件,得到了大嘴青蛙协议的攻击序列,并可从约束条件中导出避免攻击的条件.
- 周倜李梦君李舟军陈火旺
- 关键词：安全协议形式化验证
- 通用MPDU组帧算法设计被引量：1
- 2015年
- 航天系统的标准化令航天任务大量采用CCSDS AOS标准,该标准通过使用MPDU进行包信道复用,MPDU大小和填入数据也随着航天器的不同而不同,给仿真系统带来了信道复用算法的维护效率与正确性保证等问题。研究了CCSDS在国内外的研究应用情况,介绍了航天任务中MPDU组帧的一般性规定,提出了MPDU缓存队列的环形存储方式,研究了MPDU组帧过程的2种最一般形式,设计了一种高效、易于维护的通用MPDU组帧算法,给出了时效分析,并通过理论分析证明了该算法的正确性,给出了本算法的具体应用情况并指出了未来的应用前景。
- 周倜苗毅杨健
- 关键词：复用组帧
- Kerberos协议版本的分析与比较被引量：7
- 2009年
- Kerberos协议是由MIT开发出来的、广泛地用于对用户及网络连接进行安全认证服务的一种安全验证机制。基于共享密钥的方式,Kerberos协议保障了在不安全网络上进行服务会话的保密性和完整性。详细介绍了基于传统的保密性而建立起来的Kerberos协议版本4的基本原理,描述了Kerberos协议版本4的认证结构,指出了其不足之处。最后系统地阐述了版本5的消息交换过程和相关改进。
- 周倜王巾盈李梦君李舟军
- 关键词：KERBEROS协议
- 时间敏感的安全协议建模与验证:研究综述
- 2009年
- 安全协议用于实现开放互连网的通讯安全,时间戳可以保证协议传输消息时的新鲜性。但目前对含有时间特性的协议的研究还很不成熟,还没有有效的方法来验证带时间戳的安全协议。这使得一些大规模复杂协议的安全性质无法通过形式化方法进行全面的验证。详细说明了时间戳的起因和研究时间戳的原因;详细介绍了国际上时间戳特性的几种主流研究方法——MSR方法、归纳法、CSP方法和BAN逻辑在时间敏感安全协议验证方面的工作,对它们的优缺点进行了评述,并指出了进一步的研究方向。
- 周倜李舟军王志勇王巾盈
- 关键词：安全协议形式化验证时间戳
- 使用组合协议逻辑PCL验证Amended Needham-Schroeder协议
- 安全协议的形式化分析和验证一直是信息安全领域的一个重要问题。本文介绍了组合式验证方法以及面向安全协议验证的组合式验证工具PCL,并采用PCL对Amended Needham-Sehroeder协议进行了验证,证明该协议满...
- 刘锋李舟军周倜李梦君
- 关键词：安全协议信息安全
- 文献传递
- 基于计算树的航天遥测参数仿真被引量：2
- 2017年
- 航天测控仿真软件在每一次航天测控任务中都需要处理大量测控数据,不同参数的计算方法差别很大,在以往的应用中将计算方法以程序代码的形式固定在软件中,使得仿真系统难以进一步提高其可维护性和软件复用度。通过研究以配置文件的形式描述测控参数的计算方法,给出了参数计算灵活配置的设计方案,介绍了参数计算方法原理,软件模块、数据结构和处理算法。在该框架下,数据处理算法与软件代码相分离,使软件开发和具体航天型号任务之间的耦合度降低,增强了软件的可复用性,软件的稳定性也得到了有效保障。利用该方法对遥测参数进行了实验,验证了方法的有效性。
- 周倜苗毅
- 关键词：耦合度可复用性
- 复杂安全协议的建模与验证
- 随着网络的发展,互联网络的安全问题变得越来越棘手,越来越重要,安全协议的安全性质也受到越来越多的挑战。安全协议是解决互联网络安全问题最有效的手段之一,使用安全协议在开放的互联网络上可以实现身份认证等多项安全功能。由于在计...
- 周倜
- 关键词：安全协议精化KERBEROS协议
- 一种航天器故障诊断处理方法及装置
- 本发明提供一种航天器故障诊断处理方法及装置，涉及测控技术领域。所述方法包括：获取遥测结果数据，对所述遥测结果数据进行数据预处理；所述遥测结果数据与航天器故障之间的关系通过基于时序逻辑的航天器故障规则进行表示；对完成数据预...
- 周倜余嘉晨唐卿刘晓辉王磊欧阳柳王尧袁鹤珊
