协议流程的形式化描述及验证能够高效地保障协议的开发质量,对安全苛求系统尤为重要。针对铁路信号安全通信协议-Ⅱ(Railway Signal Safety Communication Protocol,RSSP-Ⅱ)中消息鉴定层(Message Authenticate Safety Layer,MASL)实现...协议流程的形式化描述及验证能够高效地保障协议的开发质量,对安全苛求系统尤为重要。针对铁路信号安全通信协议-Ⅱ(Railway Signal Safety Communication Protocol,RSSP-Ⅱ)中消息鉴定层(Message Authenticate Safety Layer,MASL)实现的会话密钥生成、对等实体认证、消息源认证等流程,建立有色Petri网(Colored Petri Net,CPN)模型,模型构造过程中执行有限步数的仿真,保障模型本身正确。利用模型检验方法,通过分析状态空间报告,验证了模型满足活性、家态性、公平性等基本行为属性,不存在冗余、死锁、活锁等设计缺陷。通过计算树逻辑(Computation Tree Logic,CTL)语句,验证了保密性、认证性等特定安全属性。结果表明,该模型满足文本设计规范中的功能安全性要求,为协议工程后续的协议实现、一致性检验奠定理论基础。展开更多
为了适应未来航天任务的发展,构建以服务为导向的、开放的、可重用的航天器任务操作系统,分析了CCSDS(Consultative Committee for Space Data Systems,空间数据系统咨询委员会)中MOIMS(Mission Operations and Information Management ...为了适应未来航天任务的发展,构建以服务为导向的、开放的、可重用的航天器任务操作系统,分析了CCSDS(Consultative Committee for Space Data Systems,空间数据系统咨询委员会)中MOIMS(Mission Operations and Information Management System,任务操作及信息管理系统)领域的任务操作服务框架的原理、层次结构及优点,对任务操作相关的通用服务、功能服务、COM(Common Object Model,通用对象模型)及MAL(Message Abstraction Layer,消息抽象层)对服务的抽象化描述方法进行了研究。MAL向任务操作相关的服务提供了通用的服务模型框架,所有服务均可用MAL消息格式进行规范化的描述,在此基础上建立了MAL消息格式与CCSDS空间包的映射关系,从而以CCSDS空间包为信息载体实现了航天器与地面系统间的任务操作通信,可以作为以服务为导向的任务操作系统实际工程应用的参考。展开更多
文摘协议流程的形式化描述及验证能够高效地保障协议的开发质量,对安全苛求系统尤为重要。针对铁路信号安全通信协议-Ⅱ(Railway Signal Safety Communication Protocol,RSSP-Ⅱ)中消息鉴定层(Message Authenticate Safety Layer,MASL)实现的会话密钥生成、对等实体认证、消息源认证等流程,建立有色Petri网(Colored Petri Net,CPN)模型,模型构造过程中执行有限步数的仿真,保障模型本身正确。利用模型检验方法,通过分析状态空间报告,验证了模型满足活性、家态性、公平性等基本行为属性,不存在冗余、死锁、活锁等设计缺陷。通过计算树逻辑(Computation Tree Logic,CTL)语句,验证了保密性、认证性等特定安全属性。结果表明,该模型满足文本设计规范中的功能安全性要求,为协议工程后续的协议实现、一致性检验奠定理论基础。
文摘为了适应未来航天任务的发展,构建以服务为导向的、开放的、可重用的航天器任务操作系统,分析了CCSDS(Consultative Committee for Space Data Systems,空间数据系统咨询委员会)中MOIMS(Mission Operations and Information Management System,任务操作及信息管理系统)领域的任务操作服务框架的原理、层次结构及优点,对任务操作相关的通用服务、功能服务、COM(Common Object Model,通用对象模型)及MAL(Message Abstraction Layer,消息抽象层)对服务的抽象化描述方法进行了研究。MAL向任务操作相关的服务提供了通用的服务模型框架,所有服务均可用MAL消息格式进行规范化的描述,在此基础上建立了MAL消息格式与CCSDS空间包的映射关系,从而以CCSDS空间包为信息载体实现了航天器与地面系统间的任务操作通信,可以作为以服务为导向的任务操作系统实际工程应用的参考。