一种基于可视化建模的多种语言智能合约生成系统及方法

    公开(公告)号:CN116126315A

    公开(公告)日:2023-05-16

    申请号:CN202310024757.3

    申请日:2023-01-09

    Applicant: 浙江大学

    Abstract: 本发明公开了一种基于可视化建模的多种语言智能合约生成系统及方法,属于智能合约生成领域。包括:元模型工具箱,提供用来构建智能合约模型的元模型;模型编辑器,为用户选择、组合、修改元模型的智能合约模型编辑操作提供空间,监听空间中的元模型变化;模型验证器,根据所述变化信息,确定发生变化的元模型,使用自定义规则对发生变化的元模型进行检查;代码生成器,根据用户目标语言,确定与所述目标语言对应的子代码生成器,利用所述子代码生成器将智能合约模型转换为代码片段,得到初始智能合约;代码优化器,对初始智能合约进行优化,产生最终智能合约。本发明简化了智能合约开发过程,可以生成高质量的智能合约,并实现跨平台复用。

    一种基于SGX的公证人跨链数据安全保护系统及方法

    公开(公告)号:CN114647871A

    公开(公告)日:2022-06-21

    申请号:CN202210349972.6

    申请日:2022-04-02

    Applicant: 浙江大学

    Abstract: 本发明公开了一种基于SGX的公证人跨链数据安全保护系统及方法,属于区块链跨链技术数据安全保护领域。系统包括跨链控制智能合约,其部署在需要应用本系统的区块链上,包括源链上的和目标链上的跨链控制智能合约;中继节点,是运行在链下的程序,负责跨链数据从源链到目标链的传递,包括运行在安全区外的不可信部分和安全区内的可信部分。本发明通过引入SGX硬件保护机制,并对公证人跨链数据转移的全过程实施验证,可有效保障链间数据转移的安全。

    一种基于SGX的区块链交易安全保护系统及其方法

    公开(公告)号:CN111709745A

    公开(公告)日:2020-09-25

    申请号:CN202010518467.0

    申请日:2020-06-09

    Applicant: 浙江大学

    Abstract: 本发明公开了一种基于SGX的区块链交易安全保护系统及其方法。该系统包括用户侧基于区块链钱包应用的轻量型客户端系统和区块链上基于全节点的服务端系统。轻量型客户端与全节点服务端建立可信加密渠道,轻量型客户端通过该可信加密渠道向全节点发送加密的用户请求,包括交易验证、交易构造等。全节点在SGX安全区内解密并处理用户请求,通过茫然随机访问来进行交易数据的本地存取,从而满足请求处理需求。本发明的方法为区块链轻量型客户端的交易验证和发起交易过程提供了隐私安全保护,有效防止用户隐私被攻击者窃取。

    一种基于SGX和CP-ABE的区块链BIM数据共享系统及方法

    公开(公告)号:CN119150350A

    公开(公告)日:2024-12-17

    申请号:CN202411174670.5

    申请日:2024-08-26

    Applicant: 浙江大学

    Abstract: 本发明公开了一种基于SGX和CP‑ABE的区块链BIM数据共享系统及方法,属于区块链技术领域。系统包括SGX可信加密系统、IPFS存储系统和区块链系统;进行用户注册时,区块链系统接收外部输入的用户属性信息并存储;接收BIM数据上传请求时,所述加密系统会接收待上传的数据并进行加密,将加密后的数据上传至所述存储系统进行存储,并接受所述存储系统返回的CID,再将该CID输入至区块链系统;接收BIM数据下载请求时,所述加密系统基于区块链系统获得待下载的数据的CID,再基于该CID从所述存储系统获得待下载的数据并输出。本发明的共享系统可为工程部门提供BIM数据细粒度共享服务,并可保证在共享过程中BIM数据和密钥不泄漏和被篡改。

    一种基于策略型Fuzzer的智能合约漏洞检测方法及系统

    公开(公告)号:CN115033883A

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

    申请号:CN202210455506.6

    申请日:2022-04-27

    Applicant: 浙江大学

    Abstract: 本发明提出了基于策略型Fuzzer的智能合约漏洞检测方法及系统,属于区块链智能合约安全领域。该方法具体包括:设计智能合约控制流图,提取控制流执行路径;分析测试用例的可达性以及控制流执行路径的漏洞性,并构建具有标注的测试用例和执行路径的数据集,训练相应的策略模型;集成策略模型到模糊检测器中,指导模糊检测器实现效率更快、检测更精准的漏洞检测,并进一步根据策略模型决判的高优先级测试用例,优化测试用例队列,动态更新策略模型。相较于传统的智能合约漏洞检测工具,该方法提供了一种新颖的智能合约漏洞检测方案,尝试将基于深度神经网络的策略模型与模糊检测器相结合,有效地降低了传统静态分析方法的漏报率和误报率,提高了模糊检测方法的执行效率和检测准确率,展望了智能合约漏洞检测的新方向。

    一种基于区块链和SGX的访问权限控制系统及方法

    公开(公告)号:CN114465815A

    公开(公告)日:2022-05-10

    申请号:CN202210253251.5

    申请日:2022-03-15

    Applicant: 浙江大学

    Abstract: 本发明公开了一种基于区块链和SGX的访问权限控制系统及方法。该系统包括区块链系统和区块链节点上的权限管理合约、权限控制合约及其本地服务、权限验证合约及其本地服务以及一个身份验证系统,为访问权限控制提供安全、可信、透明、可控的底层架构。本系统通过智能合约进行权限的操作控制和管理,通过本地的SGX安全区对链上权限操作过程中的关键性数据进行链下秘密处理,确保信息安全与准确。本系统还特别考虑权限删除的即时性需求,为其进行了特殊处理,避免了基于时间序列的攻击。本发明的方法为访问权限控制机制特别是基于云端的信息系统的访问权限控制机制提供了信息安全、流程化、可监控的底层架构,为组织和个人提供更好的安全保障。

    一种基于答题统计特征的题目推荐系统

    公开(公告)号:CN111881172A

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

    申请号:CN202010724420.X

    申请日:2020-07-24

    Applicant: 浙江大学

    Abstract: 本发明公开了一种基于答题统计特征的题目推荐系统,属于计算机辅助教学领域与数据挖掘领域,包括题目获取模块、预处理模块、查询特征配置模块、用户界面、特征处理模块、聚类计算模块和题目推荐模块。本推荐系统利用二次聚类的方式对从教学平台后台上任意给定的获取的题目集中高效筛选出与最能针对性解决用户需求的试题,采用多种评估方式相结合方法,基于答题统计特征能够较强的代表某一时间段内的用户对每一道题的掌握情况,且会随着掌握程度的提升以及教育质量的提升动态更新特征值的数值。在推荐中结合了聚类结果中类内信息及类间信息,保证了所推荐试题具有较强的代表性。弥补了辅助教学平台上相似题目过多,没有典型题目筛选机制的缺陷。

    一种基于区块链技术的工业数据采集方法及系统

    公开(公告)号:CN119938775A

    公开(公告)日:2025-05-06

    申请号:CN202311453293.4

    申请日:2023-11-02

    Applicant: 浙江大学

    Abstract: 本发明公开了一种基于区块链技术的工业数据采集方法及系统,包括以下步骤:在工业数据采集系统中将区块链网络的数据查询处理方式设置为将下位机的设备信息同步存储在区块链网络和本地数据库中;将区块链网络中智能合约的事件功能设置为设备信息更新触发事件;利用本地数据库结合区块链网络对下位机的设备上线进行信息验证,提高区块链数据查询的效率和安全性;利用通过信息验证的下位机的设备对工业数据进行采集。本发明为了保证数据采集的安全,引入区块链技术,提高攻击成本,使系统安全系数提高,而且区块链技术的去中心化特性,能够保证数据采集系统的可用性。

    一种基于策略型Fuzzer的智能合约漏洞检测方法及系统

    公开(公告)号:CN115033883B

    公开(公告)日:2024-09-17

    申请号:CN202210455506.6

    申请日:2022-04-27

    Applicant: 浙江大学

    Abstract: 本发明提出了基于策略型Fuzzer的智能合约漏洞检测方法及系统,属于区块链智能合约安全领域。该方法具体包括:设计智能合约控制流图,提取控制流执行路径;分析测试用例的可达性以及控制流执行路径的漏洞性,并构建具有标注的测试用例和执行路径的数据集,训练相应的策略模型;集成策略模型到模糊检测器中,指导模糊检测器实现效率更快、检测更精准的漏洞检测,并进一步根据策略模型决判的高优先级测试用例,优化测试用例队列,动态更新策略模型。相较于传统的智能合约漏洞检测工具,该方法提供了一种新颖的智能合约漏洞检测方案,尝试将基于深度神经网络的策略模型与模糊检测器相结合,有效地降低了传统静态分析方法的漏报率和误报率,提高了模糊检测方法的执行效率和检测准确率,展望了智能合约漏洞检测的新方向。

    一种基于元表示生成的物品冷启动推荐方法及系统

    公开(公告)号:CN116452267A

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

    申请号:CN202310143135.2

    申请日:2023-02-21

    Applicant: 浙江大学

    Abstract: 本发明公开了一种基于元表示生成的物品冷启动推荐方法和系统,属于推荐系统领域。首先利用老物品交互数据集训练嵌入表示层和推荐模型;抽取老物品交互数据集中的全部或部分数据,使用元学习训练物品id表示生成器;固定推荐模型和物品id表示生成器的参数,利用嵌入表示层获取新物品交互数据集的嵌入表示,并将嵌入表示中的新物品id表示替换为由物品id表示生成器生成的新物品id表示后作为推荐模型的输入,根据评分结果更新嵌入表示层新物品id的相关参数;最后利用推荐模型以及更新后的嵌入表示层对新老物品进行推荐。本发明适用多种常见的推荐模型,在不改变推荐模型参数情况下使得新物品快速适应当前推荐系统,泛化性能好。

Patent Agency Ranking