【摘 要】
：
随着区块链应用的推广与深入,智能合约的作用越来越突出,智能合约的安全问题也更加突显。由于区块链不可篡改的特点,智能合约一旦部署不可更改。在开发阶段保证智能合约的可
【机 构】
：
中国科学院软件研究所计算机科学国家重点实验室,中国科学院大学
论文部分内容阅读
随着区块链应用的推广与深入,智能合约的作用越来越突出,智能合约的安全问题也更加突显。由于区块链不可篡改的特点,智能合约一旦部署不可更改。在开发阶段保证智能合约的可靠性显得尤为重要。在The DAO事件中,由于智能合约中存在一种被称为重入漏洞的错误,黑客得以窃取在当时价值巨大的以太币。通过形式化分析来更清晰地展示重入漏洞的特点及重入攻击行为,并以此为例介绍基于模型检测技术的智能合约形式化验证方法。
其他文献
基于人体工效学,结合婴儿的生理特征、生理需求及护理人的需求,从整体造型结构设计、细部结构设计、面辅料选用、服装工艺等方面对婴儿内衣设计的各方面要点进行阐述,设计适
基本建设是国民经济的基础,也是反映综合国力的范畴之一.本文从招投标监督、工程管理监督、工程造价审计监督、工程质量监督及工程结算管理监督等多方面对加强基建工程的管理
新冠疫情给我国社会的公共卫生带来了巨大的负面影响,为此运用访谈、问卷调查、数理统计等方法,对新冠疫情下高职院校学生的体育意识、体育行为进行研究。结论是,高职学生的
智能合约是运行在区块链上的程序,具有去中心化、不可篡改的特性,被广泛应用于金融、能源、物联网等多个领域。然而智能合约一旦实际部署到实时网络上就不能对其更改,在保证
随着云计算、物联网、大数据等新兴技术日渐成熟,网络环境也变得日益复杂。面对海量安全数据,人力已经难以详尽分析,导致做出的决策具有局限性、安全事件响应速度慢以及处置
如果塑料需求按照目前的趋势发展,全球塑料垃圾量将从2016年的2.6亿t/a增加到2030年的4.6亿t/a,会让本就严峻的环境问题愈加恶化。到2030年,全世界50%的塑料将可以被循环利用
为对融合图像的信息丰富度、边缘清晰度以及视觉效果作进一步的提升,设计了一种基于非下采样剪切波变换(NSST)结合非局部均值滤波(NLMF)的多聚焦图像融合算法。首先,将源图像通过NSST变换进行多尺度、多方向分解得到高、低频子带系数。其次,对低频子带系数采用局部区域的改进拉普拉斯能量和以及非局部均值滤波融合方法构建低频子带系数融合权重;对高频子带系数采用基于相关系数的空间频率与能量相结合的融合规则
总结17例原发性脑干损伤患者的病情观察与护理。重点是严密、细致的病情观察，急性期的呼吸道护理、早期亚低温治疗，防治脑水肿，认真落实各项治疗、护理措施，做好患者的基础护理，加
支气管结核是指发生在气管、支气管粘膜和粘膜下层的结核病变[1]，排菌量大，传染性强，并且单纯全身药物治疗病变局部难以达到有效的血药浓度，具有治疗时间久，不良反应多，患者依从性
现有的以Web Service为主的SOA实现方案普遍存在占用通信带宽高、信息编码不适应窄带消息传递效率等问题,难以适应战术级作战部队高速机动、窄带网络、资源受限的作战特点。