周倜
- 作品数：29 被引量：32H指数：4
- 供职机构：北京航天飞行控制中心更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术电子电信更多>>
- 一种航天器故障预测处理方法及装置
- 本发明提供一种航天器故障预测处理方法及装置，涉及测控技术领域。所述方法包括：获取航天器故障预测的单遥测参数，根据所述单遥测参数的参数值所在的预设数值区间和所述参数值，确定所述单遥测参数的风险状态；若确定风险状态达到预设层...
- 周倜余嘉晨唐卿刘晓辉王磊欧阳柳王尧袁鹤珊
- 复杂安全协议的建模与验证
- 随着网络的发展,互联网络的安全问题变得越来越棘手,越来越重要,安全协议的安全性质也受到越来越多的挑战。安全协议是解决互联网络安全问题最有效的手段之一,使用安全协议在开放的互联网络上可以实现身份认证等多项安全功能。由于在计...
- 周倜
- 关键词：安全协议精化KERBEROS协议
- 月面巡视器遥操作实时仿真验证方法研究
- 为确保月面巡视器遥操作控制安全性，在控制实施前需要对规划结果进行快速实时仿真验证。提出了数值仿真与基于三维场景的人在回路验证相结合的遥操作实时仿真验证方法，给出了方法流程及验证指标。为实现自动化数值仿真验证，提出了从规划...
- 苗毅王磊周倜崔凯云詹磊
- 关键词：遥操作仿真验证人在回路
- 基于Horn逻辑扩展模型的时间敏感安全协议验证
- 2006年
- 分析了Bruno Blanchet和Martin Abadi提出的基于Horn逻辑的安全协议模型及其验证方法,针对它们在验证时间敏感安全协议时的不足,提出了带时间约束的安全协议的Horn逻辑扩展模型和修改版本的安全协议验证方法,并给出了相应的定义和定理,使得带时间约束的安全协议的Horn逻辑扩展模型和修改版本的安全协议验证能够分析依赖时间的安全协议的安全性质.通过在验证中加入时间约束条件,得到了大嘴青蛙协议的攻击序列,并可从约束条件中导出避免攻击的条件.
- 周倜李梦君李舟军陈火旺
- 关键词：安全协议形式化验证
- 航天任务数据的交互方法和系统
- 本发明公开了一种航天任务数据的交互方法和系统，涉及航天数据交互技术领域，方法包括：根据XTCE标准规范，构建统一化标准；接收用户发送的统一标准化XML文件，其中，根据统一化标准和实际航天任务数据，生成统一标准化XML文件...
- 张爱成邹雪梅程艳合陈翔朱常明张宽刘晓辉李晓宇唐卿付晓红费江涛申聪聪润冬邹乔方周倜
- 通用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协议进行了验证,证明该协议满...
- 刘锋李舟军周倜李梦君
- 关键词：安全协议信息安全
- 文献传递
