基本信息:
- 专利标题： 计及信息时效的嵌入式装置安全通信协议验证方法和系统
- 申请号：CN202010021115.4 申请日：2020-01-09
- 公开(公告)号：CN111211945A 公开(公告)日：2020-05-29
- 发明人： 梁云 , 黄莉 , 倪传坤 , 汪强 , 陈献庆 , 童和钦 , 张乔宾
- 申请人： 全球能源互联网研究院有限公司 , 许继集团有限公司 , 国网辽宁省电力有限公司 , 国网辽宁省电力有限公司电力科学研究院 , 南瑞集团有限公司 , 国家电网有限公司
- 申请人地址： 北京市昌平区未来科技城滨河大道18号
- 专利权人： 全球能源互联网研究院有限公司,许继集团有限公司,国网辽宁省电力有限公司,国网辽宁省电力有限公司电力科学研究院,南瑞集团有限公司,国家电网有限公司
- 当前专利权人： 全球能源互联网研究院有限公司,许继集团有限公司,国网辽宁省电力有限公司,国网辽宁省电力有限公司电力科学研究院,南瑞集团有限公司,国家电网有限公司
- 当前专利权人地址： 北京市昌平区未来科技城滨河大道18号
- 代理机构： 北京安博达知识产权代理有限公司
- 代理人： 徐国文
- 主分类号： H04L12/26
- IPC分类号： H04L12/26 ; H04L12/24
摘要：
本发明涉及计及信息时效的嵌入式装置安全通信协议验证方法和系统。包括:对预先建立的状态与变迁模型中各层级进行状态空间搜索，验证安全通信过程的时效性是否正确；基于所述嵌入式装置安全通信过程的时效性，对所述状态与变迁模型中的通信时间消耗进行分析，验证安全通信过程是否可以在预定的时间内完成；其中，所述状态与变迁模型，是通过将嵌入式装置安全通信协议的多个层级为基础构建的。能够基于模型检验方法，分析模型的有界性，缓解状态空间爆炸问题，通过状态空间搜索，验证安全通信协议的可操作性。
公开/授权文献:
- CN111211945B 计及信息时效的嵌入式装置安全通信协议验证方法和系统 公开/授权日：2024-08-06