温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。
本发明涉及计及信息时效的嵌入式装置安全通信协议验证方法和系统。包括:对预先建立的状态与变迁模型中各层级进行状态空间搜索，验证安全通信过程的时效性是否正确；基于所述嵌入式装置安全通信过程的时效性，对所述状态与变迁模型中的通信时间消耗进行分析，...该专利属于全球能源互联网研究院有限公司;许继集团有限公司;国网辽宁省电力有限公司;国网辽宁省电力有限公司电力科学研究院;南瑞集团有限公司;国家电网有限公司所有，仅供学习研究参考，未经过全球能源互联网研究院有限公司;许继集团有限公司;国网辽宁省电力有限公司;国网辽宁省电力有限公司电力科学研究院;南瑞集团有限公司;国家电网有限公司授权不得商用。