【摘 要】
：
智能合约的引入使得区块链技术蓬勃发展,其安全问题成为了目前一大热点研究课题。智能合约编写语言及其不可篡改特性,可能导致安全漏洞的产生且无法被修复,进而会让使用者面临巨大的经济损失。为了对智能合约漏洞进行分析,越来越多的学者引入了形式化方法,对智能合约的源码和字节码进行安全验证,最大程度地保证智能合约的安全。论文介绍了智能合约的运行机制以及常见的智能合约漏洞,针对定理证明和模型检测两类形式化方法,在
【机 构】
：
郑州轻工业大学,河南郑州450001
论文部分内容阅读
智能合约的引入使得区块链技术蓬勃发展,其安全问题成为了目前一大热点研究课题。智能合约编写语言及其不可篡改特性,可能导致安全漏洞的产生且无法被修复,进而会让使用者面临巨大的经济损失。为了对智能合约漏洞进行分析,越来越多的学者引入了形式化方法,对智能合约的源码和字节码进行安全验证,最大程度地保证智能合约的安全。论文介绍了智能合约的运行机制以及常见的智能合约漏洞,针对定理证明和模型检测两类形式化方法,在智能合约检测中的现有典型技术进行了研究,并在验证级别、翻译语言和验证逻辑等方面进行了对比,给出了其优缺点
其他文献
内存取证及其分析是电子数据取证的重要组成部分。在各种用于内存Dump的软件和硬件方法中,一部分方法不能抵抗各种反取证技术,而另一部分则需要重新启动或高度依赖于平台才能进行。论文介绍了一种新的内存取证方法,这种方法可用于执行各种内存取证,同时还介绍了这种方法在Rootkit检测上的应用及最流行的反Rootkit工具。
口令的设置关系着账户的安全,而词汇又是口令集的重要特征,但是对词汇的分布规律有时却没有得到足够的重视。论文基于知识图谱技术和表格数据,对口令热词规律进行研究,采用的口令数据集来自CSDN、Rock You、Facebook、Hotmail、Myspace等。利用知识图谱分析不同口令之间的关联,分析了高频率词汇,分析了我国大陆用户和西方国家的用户在口令用词方面的区别。研究真实口令集的内在规律,对于进
近年来,BIM在建筑业的推广使许多建设项目提高了施工效率,但关于其经济、产品等层面效益的研究较少.本文基于现有BIM效益研究,识别了12个房地产项目BIM效益指标,采用问卷调查
摘要：为探讨马尾松林下套种枫香，构建针阔异龄复层林的成效，开展不同保留密度（郁闭度）和坡位马尾松林下套种5年生的枫香生长调查分析。结果表明：不同郁闭度和不同坡位对马尾松林下套种枫香生长的胸径、树高、冠幅、侧枝总数和最大侧枝夹角均存在极显著差异;不同郁闭度的马尾松林下套种枫香生长的胸径、树高、冠幅、侧枝总数和最大侧枝夹角大小表现为低郁闭>中度郁闭>高度郁闭;不同坡位的马尾松林下套种枫香生长的胸径、树
论文针对社区医院信息系统提出了基于网络安全等级保护2.0的风险评估方法,应用这种方法对多家社区医院进行了评估,得出了较为全面的安全风险问题,并针对这些安全风险,提出了网络安全建设方案。
摘 要：陕西眉县猕猴桃经过多年种植，园内土壤板结、有机质含量缺乏等问题逐渐暴露，一定程度上影响了猕猴桃的产量和品质。本研究对该县采用的土地清耕、枝蔓粉碎发酵还田和园内种草三种耕作模式的园地土壤进行检测，结果表明：枝蔓粉碎发酵还田和园内种草，与土地清耕相比，可以改善土壤结构，提高土壤疏松度和熟化程度，提高土壤的全氮，显著提高土壤全碳和有机质含量。枝蔓粉碎发酵还田对土壤的影响效果比园内种草更明显，连续
为了对辽西地区不同退耕林地土壤物理性质变化趋势进行评价,选择了3种退耕还林林型,以农田为对照,对土壤密度、土壤总孔隙度开展了分析,结果表明:退耕还林地土壤密度在前3年稍有增加,之后逐渐降低,土壤总孔隙度与之相反;退耕还林10～15 a对土壤的物理性质有不同程度的改善,而后趋于稳定;各退耕还林林分中,以混交林对土壤的改良效果最好,且0～20 cm的改良效果好于20～40 cm土层。
近年来,研究者发现在一些正常样本上添加一些特制的对抗性扰动能使深度学习系统崩溃,这些导致发生错误的样本叫做对抗样本,会对系统造成潜在的安全隐患。以往提出的防御方式存在缺陷,泛化性能较弱。论文提出了用正则化后的训练样本重新训练一个卷积网络,而未知样本都可以通过这个重新训练的卷积网络进行识别,这个基于正则化的方法能够提高神经网络的鲁棒性,在面对对抗攻击时能够保持较好的正确识别率。
摘 要：以火力楠为砧木分别与含笑和紫玉兰为接穗进行嫁接试验，对其各组嫁接成活率形态指标和生理生化指标进行测定。结果表明，两种接穗的成活率存在差异，紫玉兰的成活率高达87.5%，含笑成活率仅为78.5%;丙二醛、多酚氧化酶、过氧化物酶、过氧化氢酶和超氧化物歧化酶的活性与嫁接亲和力相关，与火力楠嫁接，可以降低紫玉兰和含笑的MDA含量，以提高接穗的成活率，进而提高其亲和力。 关键词：火力楠;接穗组合;
随着互联网技术的应用和普及,用户的信息多数都存储在互联网上,不法分子经常利用社会工程学手段非法获取个人、企业或者政府的信息。因此,研究基于社会工程学的网络渗透技术,对于保护信息的安全具有重要意义。论文介绍了社会工程学的概念,分析了社会工程学的攻击方式,最后提出了社会工程学攻击防范的方法。