-
公开(公告)号:CN119883880A
公开(公告)日:2025-04-25
申请号:CN202411712367.6
申请日:2024-11-27
Applicant: 南京邮电大学
IPC: G06F11/3668 , G06F11/3698
Abstract: 本发明公开了一种基于修正测试矩阵的程序突变故障定位方法及系统,包括:通过符号执行、共享变量追踪和假设推理相结合的方法处理待测试源程序,通过识别代码中的关键路径,共享变量以及潜在故障交互点找出用于生成突变的代码行;基于大语言模型理解源代码上下文,针对待选代码行生成复杂突变体并且运行这些突变后的程序得到杀死信息矩阵;针对不同突变类型,通过贝叶斯方法修正修改概率并以此概率修改测试矩阵,减少测试矩阵中的噪声;根据修改后的测试矩阵计算怀疑度,生成可疑代码列表。本发明的方法可以减少不必要的突变操作,提高测试覆盖率,提高故障定位的准确性。
-
公开(公告)号:CN118981793A
公开(公告)日:2024-11-19
申请号:CN202411121282.0
申请日:2024-08-15
Applicant: 南京邮电大学
Abstract: 本发明公开了一种基于本地化差分隐私的地理位置数据扰动方法,包括如下步骤:S1.客户端收集用户的位置信息;S2.设置参数外围隐私区半径r3,表示扰动的最大范围;S3.确定本地化差分隐私的隐私参数∈,隐私参数∈控制着扰动的强度和隐私保护的水平,并且确定核心隐私区半径r1和期望扰动区域半径r2;定义三个区域,r≤r1为核心隐私区域,r1
-
公开(公告)号:CN114389811A
公开(公告)日:2022-04-22
申请号:CN202210188663.5
申请日:2022-02-28
Applicant: 南京邮电大学
Abstract: 本发明提出了一种基于医疗联盟链的跨域认证方法,利用区块链技术,设计了医疗联盟链的系统框架,该框架无需依赖第三方,通过链上数据存储和信息交互实现跨域认证与密钥协商,有助于异域间的资源共享,对跨医疗机构服务具有巨大的益处。本发明有效结合实用拜占庭算法和股份授权证明算法以提高系统共识效率,提升吞吐量。
-
公开(公告)号:CN113095226A
公开(公告)日:2021-07-09
申请号:CN202110395628.6
申请日:2021-04-13
Applicant: 南京邮电大学
Abstract: 本发明公开了一种基于双脑控制和隐私保护的无人机疫情预警方法、设备及系统,所述疫情预警包括云数据中心、边缘处理设备、无人机三个部分;通过“电脑‑人脑”双脑脑机系统接入边缘计算设备中的路径规划系统,操控无人机的飞行路线,无人机巡航进行体温检测、人脸数据采集、跟踪,结合边缘计算设备的高效处理速度,通过与云端服务器进行交互,比对疑似病人曾经出没的地区和场所,安全、高效地对疑似病人进行评估和处理。同时对采集的疑似病人的时空数据进行匿名和差分隐私保护,防止攻击者对数据的恶意窃取。可以用于机场、车站、大型商场等场所,也可以用于小区内部公共场所内。
-
公开(公告)号:CN118673518A
公开(公告)日:2024-09-20
申请号:CN202410796959.4
申请日:2024-06-19
Applicant: 南京邮电大学
Abstract: 本发明涉及一种基于异或滤波器和0XT协议的静态连接关键词密文检索方法及系统,属于隐私保护和加密技术领域。方法包括:客户端为每个关键词及其对应文件标识符构造键值对元组并创建明文索引,结合盲因子对加密结果进行盲化处理,构建中间数组存储键值对的加密值,并通过异或滤波器填充得到密文索引和查询验证索引,将解密密钥和查询令牌发送给服务器进行查询;服务器利用已构建的所述密文索引和所述查询验证索引进行查询和验证处理,返回查询结果至客户端。本方法能够在保持文件信息密文形式的情况下,对多个关键词进行有效的检索,提高了检索效率和准确性,确保了检索过程的数据安全性,加强了客户的隐私保护。
-
公开(公告)号:CN114389811B
公开(公告)日:2023-07-25
申请号:CN202210188663.5
申请日:2022-02-28
Applicant: 南京邮电大学
Abstract: 本发明提出了一种基于医疗联盟链的跨域认证方法,利用区块链技术,设计了医疗联盟链的系统框架,该框架无需依赖第三方,通过链上数据存储和信息交互实现跨域认证与密钥协商,有助于异域间的资源共享,对跨医疗机构服务具有巨大的益处。本发明有效结合实用拜占庭算法和股份授权证明算法以提高系统共识效率,提升吞吐量。
-
公开(公告)号:CN118673518B
公开(公告)日:2025-01-10
申请号:CN202410796959.4
申请日:2024-06-19
Applicant: 南京邮电大学
Abstract: 本发明涉及一种基于异或滤波器和0XT协议的静态连接关键词密文检索方法及系统,属于隐私保护和加密技术领域。方法包括:客户端为每个关键词及其对应文件标识符构造键值对元组并创建明文索引,结合盲因子对加密结果进行盲化处理,构建中间数组存储键值对的加密值,并通过异或滤波器填充得到密文索引和查询验证索引,将解密密钥和查询令牌发送给服务器进行查询;服务器利用已构建的所述密文索引和所述查询验证索引进行查询和验证处理,返回查询结果至客户端。本方法能够在保持文件信息密文形式的情况下,对多个关键词进行有效的检索,提高了检索效率和准确性,确保了检索过程的数据安全性,加强了客户的隐私保护。
-
公开(公告)号:CN113095226B
公开(公告)日:2022-07-22
申请号:CN202110395628.6
申请日:2021-04-13
Applicant: 南京邮电大学
Abstract: 本发明公开了一种基于双脑控制和隐私保护的无人机疫情预警方法、设备及系统,所述疫情预警包括云数据中心、边缘处理设备、无人机三个部分;通过“电脑‑人脑”双脑脑机系统接入边缘计算设备中的路径规划系统,操控无人机的飞行路线,无人机巡航进行体温检测、人脸数据采集、跟踪,结合边缘计算设备的高效处理速度,通过与云端服务器进行交互,比对疑似病人曾经出没的地区和场所,安全、高效地对疑似病人进行评估和处理。同时对采集的疑似病人的时空数据进行匿名和差分隐私保护,防止攻击者对数据的恶意窃取。可以用于机场、车站、大型商场等场所,也可以用于小区内部公共场所内。
-
-
-
-
-
-
-