-
公开(公告)号：CN118157923A
公开(公告)日：2024-06-07
申请号：CN202410229839.6
申请日：2024-02-29
Applicant: 北京科技大学
Abstract: 本发明涉及数据共享隐私保护技术领域，特别是指一种基于双向访问控制的交通系统任务匹配方法及装置，包括：对系统中的发送方生成加密密钥；为系统中接收方生成解密密钥和陷门密钥；发送方对任务进行加密，将加密任务上传到云服务器和边缘节点；根据接收方的任务，生成任务兴趣标签；边缘节点收到发送方的加密任务、接收方的陷门密钥以及任务兴趣标签；边缘节点根据收集到的信息进行匹配操作，匹配成功后接收方收到目标加密任务。本发明在不透露用户敏感信息的情况下，支持双向访问控制的任务分配；具有更好的安全性，可以提供更实用、更有效的任务分配，在数据隐私性、计算复杂度以及通信开销方面也具有显著优势。
-
公开(公告)号：CN112817846A
公开(公告)日：2021-05-18
申请号：CN202110109436.4
申请日：2021-01-27
Applicant: 北京科技大学
IPC: G06F11/36
Abstract: 本发明针对并发程序测试中存在的测试预期问题，公开了一种并发程序的蜕变测试方法，所述蜕变测试方法包括：针对并发程序执行交错的特点，以能够触发数据竞争的交错场景指导蜕变关系模式的识别；将原始测试用例的执行轨迹作为原始执行序列，依据蜕变关系模式生成衍生测试用例，并控制衍生测试用例的执行；通过比较衍生测试用例与原始测试用例的输出结果是否违反当前蜕变关系模式，进行测试结果验证；同时提出了一种并发程序的蜕变关系模式，指导衍生测试用例的生成及测试结果判定。本发明通过缩小并发程序的交错空间，优化了程序的执行过程，能够有效检测出并发程序中的数据竞争故障。
-
公开(公告)号：CN107247663B
公开(公告)日：2020-05-08
申请号：CN201710329693.2
申请日：2017-05-11
Applicant: 北京科技大学
IPC: G06F11/36
Abstract: 本发明提供一种冗余变异体识别方法，能够减少变异测试过程中变异体的执行时间。所述方法包括：比较变异体与待测程序源代码，获取每个变异体的变异位置及变异内容，确定每个变异体所属的块类别；对待测程序源代码进行数据流分析，获取待测程序的数据流信息，结合获取的待测程序的数据流信息，对获取的每个变异体的变异内容上的变量进行分析，确定变异体的变异类型；其中，所述数据流信息包括：每个变量的定义‑使用链；根据确定的变异体所属的块类别和变异体的变异类型，按照预先定义的冗余变异体识别规则，分析待测程序的每条定义‑使用链，获取满足冗余变异体识别规则的变异体并标记为冗余变异体本发明涉及软件技术领域。
-
公开(公告)号：CN119602945A
公开(公告)日：2025-03-11
申请号：CN202411593088.2
申请日：2024-11-08
Applicant: 北京科技大学
Abstract: 本发明提供一种基于Shamir秘密共享的可信在线离线联邦学习方法及系统，涉及分布式计算和密码学技术领域。所述方法包括：密钥生成中心为新注册用户分配秘钥；模型请求者根据任务需求确定门限值，选取秘密值，并根据预分配的数据提供者总数进行秘密分割，将秘密份额传给服务器；数据提供者利用本地数据训练局部模型，并以模型请求者的公钥进行加密，将密文参数发送给服务器；服务器对秘密份额进行秘密恢复；若获取的秘密份额数量超过门限值要求，则恢复秘密成功，对模型参数进行聚合，发送给模型请求者；否则，服务器继续等待，直到获取的秘密份额数量达到门限值要求。本发明在数据隐私性、模型安全性、计算复杂度方面具有显著优势。
-
公开(公告)号：CN102170378B
公开(公告)日：2014-10-29
申请号：CN201110109427.1
申请日：2011-04-22
Applicant: 北京科技大学
Inventor： 孙昌爱
IPC: H04L12/26
Abstract: 本发明公开了一种无需预期的Web服务测试方法，包括如下步骤:⑴构造基于Web服务描述的蜕变关系；⑵生成衍生测试用例集合，衍生测试用例集合由原始测试用例集合基于所述输入关系R生成；原始测试用例集合和衍生测试用例集合构成测试用例集合；(3)执行客户端驱动的测试用例，获取Web服务的执行结果；(4)判定执行结果是否满足输出关系Rf，如果不满足，则判定所述Web服务中存在缺陷。于是，通过比较原始测试用例与衍生测试用例的输出结果是否满足用于产生测试用例的蜕变关系，即可判断Web服务中是否存在缺陷，提供了一种无需预期仍能对Web服务进行有效测试的方法，能有效增强Web服务的可靠性。
-
Patent Agency Ranking
公开(公告)号：CN102073505B
公开(公告)日：2013-09-25
申请号：CN201110034052.7
申请日：2011-01-31
Applicant: 北京科技大学
Inventor： 孙昌爱
IPC: G06F9/44
Abstract: 本发明公开了一种面向服务组装的声明式事务集成方法和系统，所述方法包括如下步骤，(1)对基于服务组装语言BPEL的服务组装规格说明进行预处理，识别并消除不同活动之间存在的事务依赖；(2)对预处理后的所述服务组装规格说明进行事务策略的说明和注解，确保被注解的活动遵循一定的事务协议规范，预处理后的所述服务组装规格说明和所述事务策略的注解文件形成含事务注解的服务组装规格说明；(3)解释和执行所述含事务注解的服务组装规格说明，完成预定业务的Web服务组装。通过集成已有的Web服务的事务框架和协议，利用现有的服务组装引擎和面向Web服务的事务协议，部分支持服务组装中自动化的事务设计与执行，增强Web服务组装的可靠性。
-
公开(公告)号：CN112817846B
公开(公告)日：2023-08-08
申请号：CN202110109436.4
申请日：2021-01-27
Applicant: 北京科技大学
IPC: G06F11/36
Abstract: 本发明针对并发程序测试中存在的测试预期问题，公开了一种并发程序的蜕变测试方法，所述蜕变测试方法包括：针对并发程序执行交错的特点，以能够触发数据竞争的交错场景指导蜕变关系模式的识别；将原始测试用例的执行轨迹作为原始执行序列，依据蜕变关系模式生成衍生测试用例，并控制衍生测试用例的执行；通过比较衍生测试用例与原始测试用例的输出结果是否违反当前蜕变关系模式，进行测试结果验证；同时提出了一种并发程序的蜕变关系模式，指导衍生测试用例的生成及测试结果判定。本发明通过缩小并发程序的交错空间，优化了程序的执行过程，能够有效检测出并发程序中的数据竞争故障。
-
公开(公告)号：CN115423241A
公开(公告)日：2022-12-02
申请号：CN202210836289.5
申请日：2022-07-15
Applicant: 北京科技大学
Abstract: 本发明提供一种物联网服务的组合方法及装置，通过获取每个物联网服务的基础信息，并根据所述基础信息得到上下文约束信息；根据所述上下文约束信息，从多个物联网服务中确定出至少两个目标物联网服务；根据所述上下文约束信息，确定出所述至少两个目标物联网服务的组合策略；根据所述组合策略生成与所述至少两个目标物联网服务相对应的流程信息；根据所述流程信息对所述至少两个目标物联网服务进行组合。本发明提供的方案以微服务架构构建物联网服务，使用上下文驱动物联网服务组合流程的设计、组合策略学习及流程实例派生，能够提高物联网服务组合的适应性和灵活性，实现上下文感知的按需服务组合。
-
公开(公告)号：CN110334020B
公开(公告)日：2020-08-11
申请号：CN201910548098.7
申请日：2019-06-24
Applicant: 北京科技大学
IPC: G06F11/36
Abstract: 本发明提供一种冗余变异体识别方法及识别装置，能够在不降低变异测试有效性的情况下有效降低变异测试执行过程的时间开销。所述方法包括：将变异体按变异位置分为不同的变异体组；对原程序和变异体组进行代码预处理，使得原程序和变异体组中的变异体能够进行选择符号执行；对预处理后的原程序和变异体做选择符号执行，记录执行后原程序和变异体的符号执行状态；比较原程序和变异体的符号执行状态生成状态改变序列；在每个变异体组中，将重复出现的状态改变序列所属的变异体识别为冗余变异体。本发明涉及软件技术领域。
-
公开(公告)号：CN107247663A
公开(公告)日：2017-10-13
申请号：CN201710329693.2
申请日：2017-05-11
Applicant: 北京科技大学
IPC: G06F11/36
Abstract: 本发明提供一种冗余变异体识别方法，能够减少变异测试过程中变异体的执行时间。所述方法包括：比较变异体与待测程序源代码，获取每个变异体的变异位置及变异内容，确定每个变异体所属的块类别；对待测程序源代码进行数据流分析，获取待测程序的数据流信息，结合获取的待测程序的数据流信息，对获取的每个变异体的变异内容上的变量进行分析，确定变异体的变异类型；其中，所述数据流信息包括：每个变量的定义‑使用链；根据确定的变异体所属的块类别和变异体的变异类型，按照预先定义的冗余变异体识别规则，分析待测程序的每条定义‑使用链，获取满足冗余变异体识别规则的变异体并标记为冗余变异体本发明涉及软件技术领域。
-
-
-
-
-
-
-
-
-
Search Results
22
records
(took 0.019 seconds)
