发明专利已授权

一种用于自定义CoAP协议的自动分析验证方法及装置

📄 申请号：CN202410159998.3 📄 发布日：2026/05/07

著录项目信息

申请日

2024-02-05

公开号

CN117714210B

公开日

2024-06-04

申请人

华东交通大学

法律状态

已下证

专利类型

发明

主分类号

H04L9_40

IPC 分类号

H04L9_40 , H04L43_18 , H04L41_14 ,

技术画像

所属领域

物联网通信协议物联网通信协议协议分析自动化测试

应用场景

物联网设备通信, 协议一致性测试, 嵌入式系统开发, 智能家居, 工业物联网

AI 智能推荐 · 同申请人专利 · 搜索相似专利

摘要

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

权利要求书 (12项) 说明书附图

……

……

图1

图2

图3

法律状态时间线

基于改进RetinaNet的遥感图像目标检测模型

当前第 / 件

一种回波信号谐振峰范围检测优化方法及系统

同领域国内专利 · IPC: (H04L9_40)

H04L9_00 H04L9_06 H04L9_08 H04L9_12 H04L9_14 H04L9_16 H04L9_18 H04L9_20 H04L9_22 H04L9_24 H04L9_26 H04L9_30 H04L9_32 H04L9_40 覆盖14个领域

相似专利推荐 AI 驱动 · 同领域

设备控制方法、装置、电子设备和计算机可读介质

2022103550277 · 北京联时创业科技有限公司

一种立体停车智能通信协议转换模块

2018211443702 · 南京嘉倍软件有限公司

基于USRP和Gnu radio的加密传输系统

2021112099639 · 浙江工业大学

议价

不含过户费

📋 交易方式： 委托待转让 📌 交易状态：在售 👁️ 浏览次数：48 ❤️ 收藏人数：93 📋 项目申报： 未申报

资金托管权属尽调包过户

🏢 淄博智来知识产权服务有限公司

✓ 企业认证✓ 手机绑定历史成交 0件好评率 98.5%

📊 出价记录 (3条)

王**¥-10万

李** 企业¥-8万

陈**¥-3万

查看全部出价

我要出价 (议价)

© 2026 柿子坊知识产权运营平台 | 保留所有权利