无人机任务规划模块配置错误检测方法、系统及存储介质

    公开(公告)号:CN116931590A

    公开(公告)日:2023-10-24

    申请号:CN202310917131.5

    申请日:2023-07-25

    Applicant: 南开大学

    Abstract: 本发明属于无人机通信领域,具体涉及一种无人机任务规划模块配置错误检测方法、系统及存储介质。本发明从无人机飞行控制系统源代码中提取配置参数的语法约束和语义约束,判断用户当前的配置参数是否符合两种约束,从而检测错误。本发明首先使用静态分析的手段对系统源代码提取数据流图,然后使用范式提取语法约束。对于配置参数的语义约束,分为四个步骤进行:将配置参数映射到飞行控制系统中的函数;辨识无人机飞行控制系统中关键函数的物理语义;提取检查点生成代码;预测检查点和无人机的物理语义表现,用户确认是否符合预期。结合语法约束和语义约束两方面的检测,本发明可以准确、普适、高效、灵活地诊断任意任务场景下、无人机是否存在任务规划相关的配置错误。

    一种无交互频率隐藏的密文插入查询删除方法

    公开(公告)号:CN112231752B

    公开(公告)日:2022-09-09

    申请号:CN202011125979.7

    申请日:2020-10-20

    Applicant: 南开大学

    Abstract: 本发明属于数据加密领域,主要应用在云存储背景下大数据存储,更具体地,涉及一种无交互频率隐藏的密文插入查询删除方法。该方法包括以下步骤,步骤S1、客户端初始化加密状态,初始化加密密钥和存储信息的数据结构,服务器端的数据库始化B+树索引;步骤S2、客户发起插入请求,客户端首先将插入sql语句进行处理,发送到服务器端,服务器端通过自定义UDF函数解析sql语句,执行数据库插入操作;步骤S3、客户发起查询请求,客户端将查询sql语句处理发送到数据库,数据库按照特定方式查询数据库并返回结果;步骤S4、客户发起删除请求,客户端进行sql语句处理发送到数据库端,数据库删除被删除项的索引并删除数据库中对应记录,返回删除(56)对比文件Florian Kerschbaum.“Frequency-hidingorder-preserving encryption”《.InProceedings of the 22nd ACM SIGSACConference on Computer andCommunications》.2015,

    一种无交互频率隐藏的密文插入查询删除方法

    公开(公告)号:CN112231752A

    公开(公告)日:2021-01-15

    申请号:CN202011125979.7

    申请日:2020-10-20

    Applicant: 南开大学

    Abstract: 本发明属于数据加密领域,主要应用在云存储背景下大数据存储,更具体地,涉及一种无交互频率隐藏的密文插入查询删除方法。该方法包括以下步骤,步骤S1、客户端初始化加密状态,初始化加密密钥和存储信息的数据结构,服务器端的数据库始化B+树索引;步骤S2、客户发起插入请求,客户端首先将插入sql语句进行处理,发送到服务器端,服务器端通过自定义UDF函数解析sql语句,执行数据库插入操作;步骤S3、客户发起查询请求,客户端将查询sql语句处理发送到数据库,数据库按照特定方式查询数据库并返回结果;步骤S4、客户发起删除请求,客户端进行sql语句处理发送到数据库端,数据库删除被删除项的索引并删除数据库中对应记录,返回删除结果。

    基于B+树索引结构的高效密态数据库SUM查询方法

    公开(公告)号:CN118296038A

    公开(公告)日:2024-07-05

    申请号:CN202410322560.2

    申请日:2024-03-20

    Applicant: 南开大学

    Abstract: 本发明属于数据安全的密态数据库计算领域,具体涉及一个基于B+树的高效密态数据库SUM查询方法,能够在服务器建立B+树索引结构,存储对应的sum值,并结合高效的同态加密方案,可以在服务器端直接进行求和计算,最终在进行SUM查询时,直接返回根节点存储的和值,解密后作为查询结果。整个SUM查询时间的复杂度可达到O(1),与其他密态数据库的SUM查询方案相比,查询效率高,查询功能丰富。并且在方案中服务器不用和客户端进行额外的通信交互,同时也减少了客户端的存储和计算压力。该方法有着极高的灵活性,可以支持其他复杂的统计查询,适用于各种加密的外包关系型数据库,有效地保护了使用数据库的产业的数据安全和数据隐私。

    基于可信硬件的隐私集合求交与数据分析方法

    公开(公告)号:CN116484389A

    公开(公告)日:2023-07-25

    申请号:CN202310480927.9

    申请日:2023-04-28

    Applicant: 南开大学

    Abstract: 本发明属于隐私计算的隐私数据收集与分析领域,具体涉及一种基于可信硬件的隐私集合求交与数据分析方法。该方法包括以下步骤,步骤1,数据节点与计算节点协商可信执行环境将运行的交集运算程序并交换密钥;步骤2,计算节点通过可信执行环境中的Enclave程序的茫然算法计算多方隐私交集数据,并加密存储在计算节点的不可信内存中;步骤3,计算节点通过茫然数据压缩算法降低交集数据的存储需求,并通过茫然查询算法响应查询者的频率查询请求。

Patent Agency Ranking