集思谱需要我帮你解读这件专利吗？
公开（公告）号CN122951847A | 申请号CN202611216628.4 | 专利类型发明专利 |
状态在审 | 国家或地区CN | 申请人中国人民解放军网络空间部队信息工程大学 |
分类号H04L9/40(2022.01), H04L43/18(2022.01), H04L69/22(2022.01), H04L9/00(2022.01), H04L9/32(2006.01), H04L9/08(2006.01) | 申请日2026-08-12 | 公开日2026-10-20 |
发布日期2026-10-20 | 文档 ID84597857021300000 | 源数据页码759 |
专利语言zh | ||
本发明涉及网络协议安全分析技术领域，特别涉及一种云边缘终端环境中跨域数据共享协议形式化验证方法及系统，通过对跨域数据共享协议进行分析，通过协议抽象获得协议角色，并确定协议中参与方的行为、消息交换规则及安全属性，利用逻辑表达式将跨域数据共享协议抽象为域的公私钥系统；通过域私钥模拟签名、域公钥模拟验证对指定安全属性进行验证测试，得到跨域数据共享协议形式化验证结果。本发明将跨域数据共享协议分解为信任层（认证/加密）和共识层（BFT、区块链），对分解后的协议进行形式化建模，可覆盖动态协同过程中的关键安全要点，能够适配云边缘终端的资源约束，以满足零信任架构下安全数据共享需求。
附图 1