面向区块链监管的智能合约监控方法及系统

    公开(公告)号:CN111369221A

    公开(公告)日:2020-07-03

    申请号:CN202010159618.8

    申请日:2020-03-09

    Applicant: 浙江大学

    Abstract: 本发明公开了一种面向区块链监管的智能合约监控方法及系统,方法包括:定义合约业务描述元数据信息,将业务规则注册在监管合约上;生成面向特定业务的智能合约模板;智能合约模板在业务合约的初始化方法中,注入向监管合约注册当前业务合约基本信息的代码逻辑,在关联监管消息的业务流程方法中,添加向监管合约汇报特定数据的代码逻辑;当业务合约在区块链平台上部署时,将业务合约注册到监管合约上;监管合约对业务合约进行解析,验证其是否满足关联的合约业务规则;当调用业务合约时,在调用了关联监管事件的合约方法时,主动向监管合约投递对应的监管消息。本发明提供了穿透式的合约管控能力,从而保证区块链上的业务合规。

    基于SGX软件防护扩展指令的工控白名单管理系统及方法

    公开(公告)号:CN110222485A

    公开(公告)日:2019-09-10

    申请号:CN201910400840.X

    申请日:2019-05-14

    Applicant: 浙江大学

    Abstract: 本发明公开了一种基于SGX软件防护扩展指令的工控白名单管理系统及方法,系统包括:SGX加密模块,基于SGX生成可信空间和可信空间的访问密钥;可信空间用于存储白名单数据及运行白名单管理模块、身份认证模块;查询处理模块,对工控监测系统发出的白名单数据查询请求消息发送给白名单管理模块;更新处理模块,对系统管理员发出的白名单更新请求消息发送给身份认证模块;身份认证模块,运行于可信空间内,对系统管理员进行身份信息验证;白名单管理模块,运行于可信空间内,维护可信空间内的白名单数据,并执行相应的查询与更新操作。本发明的工控白名单管理系统可避免工控白名单数据不被恶意篡改。

    基于联盟链的志愿者捐献服务一体化公益众筹系统及方法

    公开(公告)号:CN109615339A

    公开(公告)日:2019-04-12

    申请号:CN201811586088.4

    申请日:2018-12-24

    Applicant: 浙江大学

    Abstract: 本发明涉及区块链技术应用领域,尤其涉及一种基于联盟链的志愿者捐献服务一体化公益众筹系统及方法。该系统包括以下参与实体:管理员,对参与实体进行认证和授权;公益组织,发布公益项目和捐赠项目,并发行投票权通证;志愿者,通过参与公益项目获得投票权通证;使用投票权通证对捐献项目进行投票共识;捐献方,通过合作银行捐献公益资金;合作银行,将公益资金由法币兑换成公益通证转入资金池;为受捐方提供提现渠道;合作电商,为受捐方提供使用公益通证兑换公益物资的渠道;受捐方,为受捐对象,可通过合作银行或合作电商将公益通证兑换为法币或公益物资。本发明将公益捐赠过程转移到去中心化网络上进行,使得捐赠过程透明、可溯源。

    基于多种对抗样例攻击的智能防御算法推荐方法及系统

    公开(公告)号:CN108549940A

    公开(公告)日:2018-09-18

    申请号:CN201810180928.0

    申请日:2018-03-05

    Applicant: 浙江大学

    Abstract: 本发明公开了一种基于多种对抗样例攻击的智能防御算法推荐方法,包括以下步骤:对原始数据集进行清洗,得到训练集;利用训练集训练目标识别模型,得到目标攻击模型;选取不同的对抗样例攻击算法,攻击目标攻击模型;量化评估每种对抗样例攻击算法的攻击成功率,根据攻击成功率选择目标攻击算法;针对每种目标攻击算法,逐一应用对抗攻击防御算法进行防御;根据防御结果向用户推荐相应的对抗攻击防御算法。本发明还公开了智能防御算法推荐方法所采用的智能防御算法推荐系统。针对具体的目标模型,本发明的智能防御算法推荐系统可以智能的推荐有效的防御算法,从而减小对抗样例攻击给目标模型造成的损失。

    一种基于符号语义的异构音乐数据融合方法及系统

    公开(公告)号:CN115049001B

    公开(公告)日:2025-04-18

    申请号:CN202210671178.3

    申请日:2022-06-14

    Applicant: 浙江大学

    Abstract: 本发明公开了一种基于符号语义的异构音乐数据融合方法及系统,属于异构数据融合领域和音乐信息学分析领域。异构音乐数据获取和特征抽取,经过数据预处理得到异构音乐数据的基本信息和每种数据结构独特的特征,得到关联好的异构音乐数据及其统一的标注序列;定义符号语义解析模型,利用符号语义解析模型从关联好的异构音乐数据及其统一的标注序列中获得稳定的符号语义观测空间,从所述的稳定的符号语义观测空间中获得显著的语义属性和可控的语义约束;根据对显著的语义属性和可控的语义约束的调整,还原或生成符合特定语义约束的改编数据。本发明可以从语义解析过程中获得不同维度的语义属性并加以约束,实现可解释、可控制的音乐数据融合与生成。

    面向WebAssembly运行时的语义感知模糊测试用例生成方法和系统

    公开(公告)号:CN119645838A

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

    申请号:CN202411631426.7

    申请日:2024-11-15

    Applicant: 浙江大学

    Abstract: 本发明提出了一种面向WebAssembly运行时的语义感知模糊测试用例生成方法和系统,属于软件模糊测试技术领域。包括:定义栈不变代码转换策略,维护测试用例转换前后代码的语义有效性;基于栈不变代码转换策略,采用下述方式一、方式二、或者方式一和方式二的组合生成测试用例用于模糊测试;方式一为:采取有趣值突变、操作符突变、片段拼接、控制流嵌套、跳转目标突变和调用目标突变中的一种或多种组合的转换方式从既有测试用例生成新测试用例;方式二为:根据基于控制流骨架的生成算法扩充既有测试用例。本发明能有效生成符合语义规范并且在控制流和数据流上多元化的测试用例,帮助模糊测试探索深层执行逻辑和提升漏洞挖掘效率。

    一种基于配置调整的横向联邦学习安全性加固方法及系统

    公开(公告)号:CN119475437A

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

    申请号:CN202510050760.1

    申请日:2025-01-13

    Applicant: 浙江大学

    Abstract: 本发明公开了一种基于配置调整的横向联邦学习安全性加固方法及系统,属于分布式架构安全性加固技术领域。通过确定目标联邦学习系统的客户端数量、本地数据模态以及联邦学习任务,生成一组满足准确率和计算开销的目标联邦学习系统初始配置,包括应用于本地模型和全局模型的模型架构、客户端本地数据分布、全局模型预训练程度和聚合方法;对初始配置发起包含脆弱性全覆盖的模拟攻击方式的渗透测试,根据测试结果调整配置,直至满足安全性要求,筛选最优配置,利用最优配置加固目标联邦学习系统。本发明实现了对目标联邦学习系统的灵活性配置,并能够对配置结果进行加固效果的有效评测,全方位避免隐私泄露风险,提升目标联邦学习系统的安全性。

    一种无辅助数据依赖的鲁棒后门防御方法和系统

    公开(公告)号:CN119475331A

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

    申请号:CN202411415976.5

    申请日:2024-10-11

    Applicant: 浙江大学

    Abstract: 本发明公开了一种无辅助数据依赖的鲁棒后门防御方法和系统,属于深度学习模型安全和人工智能防御技术领域。本发明通过对抗扰动分析后门注入与样本污染之间的内在关系,从有毒数据集中初步隔离干净样本和污染样本;在选定的干净样本上进行反向学习和重新学习,训练得到增强中毒模型;通过增强中毒模型精确识别污染样本和干净样本,并基于干净样本进行模型训练,最终获得无后门的鲁棒模型,最后对污染样本重新标注并用于无后门的鲁棒模型的微调,进一步提升模型的鲁棒性。本发明不依赖任何辅助干净数据集,并能有效抵御多种后门攻击,同时保持模型的高精度。本发明填补了现有技术在无辅助数据条件下进行鲁棒后门防御模型训练的空缺。

    基于标签传递和事件基线学习的实时攻击检测方法及系统

    公开(公告)号:CN118827248A

    公开(公告)日:2024-10-22

    申请号:CN202411313350.3

    申请日:2024-09-20

    Applicant: 浙江大学

    Abstract: 本方案提供了一种基于标签传递和事件基线学习的实时攻击链检测方法及系统,设计了标签,将已存在的标签传播至当前事件对应的溯源图节点上并进行标签的更新,并将更新的标签缓存在异常路径键值索引结构中,其中标签的更新规则为:根据当前事件的事件向量更新标签中的事件向量,计算当前事件的异常路径分数,根据上一次传播的溯源图节点以及当前事件对应的溯源图节点之间的传播路径更新异常路径,设计事件基线学习模型取代传统的基于事件概率安全基线判断,并基于流处理和标签传递实现实时且准确的异常路径挖掘和攻击检测。

    一种面向物联网可信执行环境的模糊测试方法和系统

    公开(公告)号:CN114610640B

    公开(公告)日:2024-08-30

    申请号:CN202210291113.6

    申请日:2022-03-23

    Applicant: 浙江大学

    Abstract: 本发明公开了一种面向物联网可信执行环境的模糊测试方法和系统,包括:根据目标物联网可信执行环境文档使用的内核函数与实体,构建测试模板文件;收集可信执行环境系统内核接受的合法系统调用序列作为种子文件;对模糊测试工具生成与变异阶段产生的测试样例进行翻译,产生有效载荷;设计用户端应用与可信应用完成有效载荷的转发、翻译与执行;使用硬件仿真器高效地完成数据写入与可信执行环境内核执行状态信息获取;利用获取的反馈信息进一步指导模糊测试高效进行。该方法和系统使得模糊测试工具能够对目标物联网可信执行环境内核进行高效、可扩展的安全性测试。

Patent Agency Ranking