-
公开(公告)号：CN116361806A
公开(公告)日：2023-06-30
申请号：CN202310167280.4
申请日：2023-02-27
Applicant: 中国科学院信息工程研究所
IPC: G06F21/57 , G06N3/08 , G06F18/24 , G06N3/0442
Abstract: 本发明公开了一种基于多示例和注意力机制的智能合约分析方法及装置。所述方法包括：获取智能合约的操作码；基于所述操作码，构建所述智能合约的程序控制流图；对所述程序控制流图执行深度优先遍历，以得到由T个操作码组成的实例；对所述实例进行编码，并基于注意力机制的双向长短期循环神经网络对编码结果进行分类，以得到该实例的安全结论以及权重；基于各实例的安全结论以及权重，得到所述智能合约的分析结果。本发明可以有效地保护区块链上运行的智能合约安全以及用户的隐私及财产安全。
-
公开(公告)号：CN111241114B
公开(公告)日：2022-05-24
申请号：CN202010014343.9
申请日：2020-01-07
Applicant: 中国科学院信息工程研究所
Abstract: 本发明公开了一种结合交易与共识的智能服务交易区块链信誉管理方法和系统。该方法包括：生成本轮智能服务交易区块链系统的共识小组中的成员；生成本轮的领导者候选人；各领导者候选人将本轮的全部交易打包到区块中并将其和凭证一起发送给共识小组；共识小组成员运行基于信誉的共识机制后将区块发布到区块链上；领导者将本轮的信誉变化更新到信誉区块中并发布。本发明使用可验证随机函数生成领导者从而避免算力浪费，选择信誉较高的部分节点实施共识机制来减少系统负载和网络流量；信誉评分影响共识中投票节点的权重，也使信誉值较高的节点更有可能通过加权采样算法获得奖励，使用信誉链存储和更新节点的信誉，无需受信任的第三方来管理信誉。
-
Patent Agency Ranking
公开(公告)号：CN113656826A
公开(公告)日：2021-11-16
申请号：CN202010396755.3
申请日：2020-05-12
Applicant: 中国科学院信息工程研究所
Abstract: 本发明公开了一种支持用户属性动态变化的匿名身份管理与验证方法，属于区块链领域，主要包括系统初始化，属性签名密钥的生成于更新，签名的生成，以及签名的验证这四个步骤。本方法可以有效解决现有技术中存在的问题，不仅可以在不泄露用户身份的情况下，实现用户身份的管理与验证，而且该过程是不依赖于中心信任机构，因此很好地适用于分布式的场景。
-
公开(公告)号：CN115037512B
公开(公告)日：2023-06-20
申请号：CN202210457028.2
申请日：2022-04-27
Applicant: 中国科学院信息工程研究所
Abstract: 本发明公开了一种面向以太坊公有链智能合约的形式化静态分析方法及装置。所述方法包括：获取以太坊公有链智能合约的源码，并提取所述源码的代码语句，生成所述源码的Solidity表达式和特征图谱；基于所述代码语句、Solidity表达式与所述特征图谱，将所述源码描述为XML形式中间表示、IR形式中间表示和IR‑SSA形式中间表示；根据所述XML形式中间表示、IR形式中间表示和IR‑SSA形式中间表示进行漏洞模式检测与优化模式检测，得到以太坊公有链智能合约的分析结果。本发明可在内存资源有限的环境中快速完成合约的全流程自动化分析，检测结果准确且鲁棒，能够发现以太坊上现有方法漏报的安全问题，可更好地助力智能合约的安全监管。
-
公开(公告)号：CN111639361B
公开(公告)日：2023-06-20
申请号：CN202010411623.3
申请日：2020-05-15
Applicant: 中国科学院信息工程研究所
Abstract: 本发明提供一种区块链密钥管理方法、多人共同签名方法及电子装置，由链上和链下两部分组成，链上完成合约的执行和货币结算，链下完成密钥生成、数据加密和解密操作；对用户密钥和文件进行链上链下协同存储；对链上用户密钥和文件的检索和存储；对用户私钥进行存储和恢复；针对区块链中多方签名场景，利用多方安全计算完成协同私钥存储和签名；对用户的文件和密钥进行验证；对用户的密钥进行撤销和更新。本发明显著提高了区块链密钥的安全性，时间开销会非常低，空间开销也极为优秀，从而能为用户提供更加优质的服务。
-
公开(公告)号：CN115037512A
公开(公告)日：2022-09-09
申请号：CN202210457028.2
申请日：2022-04-27
Applicant: 中国科学院信息工程研究所
Abstract: 本发明公开了一种面向以太坊公有链智能合约的形式化静态分析方法及装置。所述方法包括：获取以太坊公有链智能合约的源码，并提取所述源码的代码语句，生成所述源码的Solidity表达式和特征图谱；基于所述代码语句、Solidity表达式与所述特征图谱，将所述源码描述为XML形式中间表示、IR形式中间表示和IR‑SSA形式中间表示；根据所述XML形式中间表示、IR形式中间表示和IR‑SSA形式中间表示进行漏洞模式检测与优化模式检测，得到以太坊公有链智能合约的分析结果。本发明可在内存资源有限的环境中快速完成合约的全流程自动化分析，检测结果准确且鲁棒，能够发现以太坊上现有方法漏报的安全问题，可更好地助力智能合约的安全监管。
-
公开(公告)号：CN109979550B
公开(公告)日：2021-06-01
申请号：CN201910114188.5
申请日：2019-02-14
Applicant: 中国科学院信息工程研究所
Abstract: 本发明公开一种基于分布式属性签名的区块链医疗数据管理方法和系统。该方法包括以下步骤：S1.生成分布式属性签名的全局参数并选定哈希函数；S2.各属性权威机构生产每个属性对应的签名密钥和验证密钥；S3.用户生成与他的全局身份标识和属性集合对应的签名密钥集合；S4.用户生成EHR数据后签名存储在链下数据库中，并将其地址签名后作为交易发布到区块链上；S5.用户首先验证链上交易中存储的地址的签名属性，然后通过地址找到链下数据库中的EHR数据并验证该数据签名者的属性。本发明在保护签名者身份信息的同时实现了跨不同CDO系统的EHR数据安全共享，并通过链上链下协同存储的方式解决了区块链存储容量限制的问题。
-
-
-
-
-
-
Search Results
17
records
(took 0.024 seconds)
