技术编号：14879875
提示：您尚未登录，请点 登 陆 后下载，如果您还没有账户请点 注 册 ，登陆完成后，请刷新本页查看技术详细信息。本发明属于信息安全技术领域，涉及一种安全协议消息构造方法，具体涉及一种高效的安全协议消息构造方法。背景技术安全协议作为网络空间安全的重要组成部分，是保障网络空间安全的关键和灵魂。所以，对运行于计算机网络、通信网络和分布式系统中的安全协议的安全性进行分析与验证，发现其逻辑错误与安全漏洞，对保障网络空间安全至关重要。从安全协议设计、安全协议抽象规范安全性的分析与验证、到安全协议实施(安全协议代码)，人们主要集中在对安全协议抽象规范的安全性分析和验证方面，实用性较差。近几年来，人们对安全协议的最终表现...
注意：该技术已申请专利，请尊重研发人员的辛勤研发付出，在未取得专利权人授权前，仅供技术研究参考不得用于商业用途。
该专利适合技术人员进行技术研发参考以及查看自身技术是否侵权，增加技术思路，做技术知识储备，不适合论文引用。