基于约束求解的递归协议安全性验证方法、装置及设备

    公开(公告)号:CN119276762B

    公开(公告)日:2025-03-11

    申请号:CN202411796181.3

    申请日:2024-12-09

    Abstract: 本申请涉及一种基于约束求解的递归协议安全性验证方法、装置及设备。所述方法包括:获取递归协议的已知信息;建立敌手推导规则,根据敌手推导规则对已知消息进行推导,得到新消息;将敌手在递归协议执行的某个阶段构造的新消息符号化为变量,将安全协议无穷多条可能执行迹抽象为一组推导约束,敌手通过初始知识与协议交互中的推导约束构造约束系统;根据预先设置的简化规则对约束系统进行简化,得到简单约束系统;将要验证的安全属性建模为一阶公式,通过求解简单约束系统与一阶公式是否有共同解来判定敌手是否能够破坏安全属性实现安全性验证。采用本方法能够对递归协议实现安全性验证。

    一种基于跳表索引文件的态势回放方法和装置

    公开(公告)号:CN119226576B

    公开(公告)日:2025-02-11

    申请号:CN202411765074.4

    申请日:2024-12-04

    Abstract: 本申请涉及一种基于跳表索引文件的态势回放方法和装置。方法包括:遍历原始态势数据,以原始态势数据的时间信息为跳表键,指向原始态势数据文件地址为值,构建链表节点,按照时间顺序连接链表节点得到基础链表,若链表节点对应的事件信息在关键事件列表中,则将链表节点分别添加到一级索引和二级索引中,遍历下一帧原始态势数据,否则,查询链表节点对应的时间信息是否满足态势基础间隔,若满足,则将当前链表节点添加到一级索引中,遍历下一帧原始态势数据,遍历结束后,根据当前基础链表、一级索引和二级索引得到跳表索引文件,利用跳表索引文件进行态势回放。采用本方法能够在大规模数据回放场景中显著减少延迟、提高态势回放效率。

Patent Agency Ranking