发明专利已授权

基于非单调性动态认知逻辑的密码协议分析方法

Name: 基于非单调性动态认知逻辑的密码协议分析方法
Brand: 西南大学
SKU: 202010631083X
Availability: InStock

📄 申请号：CN202010631083.X 📄 发布日：2026/08/04

著录项目信息

申请日

2020-07-03

公开号

CN111800416B

公开日

2021-07-27

申请人

西南大学

法律状态

已下证

专利类型

发明

主分类号

H04L29_06

IPC 分类号

H04L29_06

技术画像

所属领域

密码协议分析密码协议分析形式化方法认知逻辑

应用场景

网络安全, 密码协议验证, 信息安全, 通信安全, 形式化验证

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

摘要

本发明公开了基于非单调性动态认知逻辑的密码协议分析方法，涉及信息安全的密码协议形式化分析领域，解决了具有知识非单调性的密码协议不能用现有方法来分析的问题，现有的逻辑分析方法所建的模型不精确或推理复杂，导致分析不成功的问题。本发明中所述密码协议中包括多主体，主体包括主体的知识，各主体在协议运行过程中，主体的知识发生变化，该密码协议的整个执行过程采用LNC逻辑语言形式化，采用克里普克模型形式化各主体的知识以及知识的变化，所述LNC逻辑语言采用Forget行为扩展动态认知逻辑。本发明能够发现密码协议的潜在缺陷可以及时更正或更换协议。

常见问题

这项专利是否已经下证？

是的，该专利已下证，法律状态为“已下证”，公开号： CN111800416B

购买这项专利需要经过哪些流程？

平台提供担保交易、全程代办转让手续。买家可委托平台代购，平台协助完成权属尽调、合同签署、国家知识产权局著录项目变更等流程。

该专利的转让价格是多少？

当前标价为议价，可委托平台代购或预约谈判。

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

……

图1

图2

图3

法律状态时间线

一种压力传感器测试夹具

当前第 / 件

一种新型果园开沟施肥的粗根切根刀片装置

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

H04L29_02 H04L29_06 H04L29_08 H04L29_12 覆盖4个领域

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

暂无同领域相似专利推荐

议价

不含过户费

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

资金托管权属尽调包过户

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

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

📊 出价记录 (3条)

王**¥-10万

李** 企业¥-8万

陈**¥-3万

查看全部出价

我要出价 (议价)