密码协议分析 - 专利交易市场|柿子坊知识产权运营平台

交易类型：全部转让独占许可普通许可开放许可竞拍委托代转让技术领域：全部信息与通信技术智能制造与工业系统医疗健康与生物技术新材料与化学工程能源与双碳技术交通与航空航天建筑与城市工程农业与食品技术数字服务与商业系统交叉融合与其他技术

全部发明实用新型外观设计

法律状态：全部已授权审中

项目申报：全部报过没有报过

发明已授权

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

📄 202010631083X 📂 H04L29_06 👤 西南大学 📅 2020-07-03

¥0.0 元

咨询

发明已授权

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

202010631083X · 西南大学

¥0.0 元

咨询

1 共 1 页

求购专区 · 发布技术需求，卖家在线应标

🔋 高能量密度固态电解质材料与制备工艺

预算：¥50-100万截止：2026-08-30发布方：××新能源科技响应：8人

查看详情我要应标

交易保障 · 安心交易

资金托管

买家付款至平台，交易完成/过户成功后放款给卖家

权属尽调

专利有效性分析 + 权属状态核查，确保交易安全

合同审核

标准转让/许可合同模板，支持在线电子签署

全程代办

著录项目变更、备案手续全程代办，省心省力

交易流程 · 六步完成专利交易

选专利

在线沟通

签署合同

支付款项

办理变更

过户完成

成功交易案例

🔬

固态锂电池电解质专利包

转让方：中国科学院××研究所
受让方：××新能源科技有限公司
交易类型：独占许可
交易金额：¥320万

🧬

CRISPR基因编辑技术

转让方：××大学
受让方：××生物医药有限公司
交易类型：转让
交易金额：¥1,200万

⚡

SiC功率器件工艺专利

转让方：××半导体有限公司
受让方：××汽车电子集团
交易类型：转让
交易金额：¥680万

☀️

钙钛矿光伏组件技术

转让方：××科技公司
受让方：××能源集团
交易类型：开放许可
交易金额：¥50万/年

专利交易市场