申请/专利权人：华东交通大学

申请日：2024-02-05

公开（公告）日：2024-06-04

公开（公告）号：CN117714210B

主分类号：H04L9/40

分类号：H04L9/40;H04L43/18;H04L41/14

优先权：

专利状态码：有效-授权

法律状态：2024.06.04#授权;2024.04.02#实质审查的生效;2024.03.15#公开

摘要：本发明涉及一种用于自定义CoAP协议的自动分析验证方法及装置，包括：分别对标准CoAP协议和自定义CoAP协议进行形式化描述，并基于此分别构建标准CoAP协议公理化模型和自定义CoAP协议符号模型，将自定义CoAP协议与标准CoAP协议进行匹配，得到自定义CoAP协议的裁剪位置结果；基于裁剪位置结果，将标准CoAP协议公理化模型映射到自定义CoAP协议符号模型中，得到自定义CoAP协议公理化模型；依据自定义CoAP协议部署的网络环境选择威胁模型，并确定在威胁模型下自定义CoAP协议对应的安全属性；针对选择的威胁模型，进一步细化调整自定义CoAP协议公理化模型结构，得到Tamarin模型；将Tamarin模型与需要验证的安全属性输入Tamarin验证器，得到验证结果。本发明用于自定义CoAP协议的安全验证。

主权项：1.一种用于自定义CoAP协议的自动分析验证方法,其特征在于，包括：S1：基于事件逻辑理论方法，对标准CoAP协议进行形式化描述，并在形式化描述过程中构建标准CoAP协议公理化模型；S2：获取待分析的自定义CoAP协议，基于事件逻辑理论方法对所述自定义CoAP协议进行形式化描述，并在形式化描述过程中构建自定义CoAP协议符号模型，利用所述自定义CoAP协议符号模型将所述自定义CoAP协议与标准CoAP协议进行匹配，得到所述自定义CoAP协议的裁剪位置结果；S3：基于所述裁剪位置结果，将标准CoAP协议公理化模型映射到所述自定义CoAP协议符号模型中，得到自定义CoAP协议公理化模型；S4：依据自定义CoAP协议部署的网络环境选择威胁模型，并确定在威胁模型下自定义CoAP协议对应的安全属性；针对选择的威胁模型，进一步细化调整自定义CoAP协议公理化模型结构，得到Tamarin模型；S5:将所述Tamarin模型与需要验证的安全属性输入Tamarin验证器，得到验证结果；S1中，利用所述标准CoAP协议公理化模型对所述标准CoAP协议进行安全验证时,所述标准CoAP协议公理化模型输出所述标准CoAP协议的所有主体的发送接收事件、随机数生成事件、加解密事件、签名验证事件、主体与事件的关系谓词；所述标准CoAP协议公理化模型包括随机指令模型、离线PSK模型、Cookie模型、原始公钥模型和内部CA模型；其中，所述随机指令模型属于标准CoAP协议的协议应用层中的指令选择内容，离线PSK模型、Cookie模型、原始公钥模型和内部CA模型属于标准CoAP协议的协议安全层中安全守卫内容。

全文数据：

权利要求：

百度查询： 华东交通大学 一种用于自定义CoAP协议的自动分析验证方法及装置

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。

阅读全文 双屏查看 官方信息 专利公告 收藏专利 下载PDF 下载WORD