一种用于自定义CoAP协议的自动分析验证方法及装置
申请人信息
- 申请人:华东交通大学
- 申请人地址:330013 江西省南昌市经济技术开发区双港东大街808号
- 发明人: 华东交通大学
专利详细信息
| 项目 | 内容 |
|---|---|
| 专利名称 | 一种用于自定义CoAP协议的自动分析验证方法及装置 |
| 专利类型 | 发明申请 |
| 申请号 | CN202410159998.3 |
| 申请日 | 2024/2/5 |
| 公告号 | CN117714210A |
| 公开日 | 2024/3/15 |
| IPC主分类号 | H04L9/40 |
| 权利人 | 华东交通大学 |
| 发明人 | 李泽寰; 肖美华; 胡欣琪; 陈方平; 徐锐涵 |
| 地址 | 江西省南昌市经济技术开发区双港东大街808号 |
摘要文本
本发明涉及一种用于自定义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验证器，得到验证结果。