一种对象粒度的Java程序并发错误检测框架

由于多线程程序执行的复杂性和不确定性,Java程序中的并发错误难以被检测和修复.不变式检测方法作为目前最为有效的检测手段,采用提取正确程序行为的方式,能自动识别程序并发错误.但是,传统的不变式检测方法基于单个字段分析程序行为,不考虑程序中的关联变量间的依赖关系,所以无法检测多个关联变量引发的并发错误.针对这一问题,本文实现了一个对象粒度的不变式检测框架OBJ-D,基于对象操作分析程序行为.OBJ-D通过记录对象的读写依赖,能反映同一对象中多个变量间的依赖关系,为检测多变量并发错误创造了条件.测试表明,在不影响训练敏感度和性能开销的前提下,OBJ-D能同时有效检测单变量和多变量引发的并发错误,并只引入很少的假阳性.     

一种基于运行时信息的以太坊智能合约防御技术

智能合约是区块链技术最成功的应用之一,已经被广泛集成到应用程序中,成为应用去中心化的常见实现方案.然而,智能合约由于其独有的金融特性,一直以来饱受安全攻击,各种新的恶意攻击类型层出不穷.现有的研究工作提出了多种有效检测合约漏洞的方法,但在实际应用中都存在着各种局限:仅针对已知的漏洞类型,需要修改合约代码来消除漏洞,链上开销过大.由于智能合约部署到链上后的不可修改性,这些针对特定漏洞类型的检测防御手段无法对原有的合约进行修复,因此很难及时地应对新型的漏洞和攻击.为此,提出了一种基于运行时信息的智能合约可升级防御技术,通过引入运行时的各种信息,为链下对攻击和漏洞的检测提供实时的数据.同时,设计了一套部署在合约上的访问控制机制,基于动态检测的结果,对合约的访问进行限制,从而在不需要修改合约代码的情况下实现动态的防御.由于以太坊本身的机制无法对实时攻击进行识别和拦截,为了减小这一影响,利用竞争(race condition)的机制来增强防御的效果.实验结果分析表明:该防御技术可以有效地检测并防御攻击,对于后续的攻击交易,可以实现100%的拦截成功率,对于首次检测到的实时攻击,利用竞争可以达到97.5%的成功率.     

一个无线安全网关的设计和实现

作为传统局域网的补充和扩展，IEEE802.11得到了迅猛的发展，与此同时无线网络的安全问题得到了广泛的关注。网络安全研究者已经达成共识：无线网络提供了到原有布线网络的入口，和Internet一样，无线网络要当作不信任源来看待。本文描述了一个无线安全网关，它提供多种灵活的安全机制，包括用户认证、授权和加密。网络管理人员可以选择其中某一种或者多种机制来实现其安全策略，而对客户端的要求很少，一般除操作系统自带的软件（包括浏览器、Ipsec）外不需要安装新的客户方软件。这使得无线安全网关非常适合用于提供公共的无线接入。     

热轧钢的性能和控制轧制

引言1967年在俄亥俄洲克利夫兰召开的美国矿、冶、石油工程师学会(AIME)的冶金协会秋季会议上进行了一次“热加工钢的组织和性能”的座谈会。这次座谈会是由TMS 钢铁冶金委员会发起的,因为这是讨论有关热轧钢科学和技术方面新倡议的合适的时间。本文是根据中心议题的讨论内容写成     

结构钢的控制轧制

正火碳—锰钢和晶粒细化钢的显微组织和机械性能之间的关系已在早先的文章中论述过。这类钢材经常用作结构材料,并且一般都具有铁素体—珠光体显微组织。业已表明,细的铁素体晶粒必然能得到高的屈服强度和良好的韧性。这就导致了特意用少量Nb,V,Al 或 Ti 细化晶粒的钢的出现,而     

应用密封的氢标样快速自动测定金属中的氢

氢对许多金属的机械性能和物理性能具有有害的作用是众所周知的。在发生有害效应之前,各种金属具有不同氢含量的极限。因而,为了确定有效的含量和随后的控制,重要的是应提供合适的方法来分析金属中氢     

传感器网络的安全位置验证

安全位置验证是传感器网络中一个重要的安全问题.传统的位置验证方案依赖于高精度的测距设备,不适合于成本受限的通用传感器网络.本文提出通过对信号强度分布情况的分析来估计节点的物理位置,并进行位置验证.一方面,本文方案使用强回归技术减少恶意节点互相包庇对位置估计的影响;另一方面,本文使用了统计分析的方法增强位置验证的准确度.最后,通过模拟实验对本文的位置验证方案进行了评估.     

浅论住宅建设成本的控制问题

介绍住宅建设项目开发成本的构成情况，成本控制在各阶段的要点以及成本控制管理和发展前景。     

焊缝金属中的定氢法

氢在焊接中起着重要的作用。氢主要是在焊接期间由从电极涂层上放出的裂解有机物质和无机的凝固水分形成的。根据熔池温度和焊接金属上面的氢分压,液态焊接金属和母体金属的热影响区吸收相当多的氢气。在金属熔池固化和冷却时,部分氢气逸出到     

应用固体氧化物电解质电动势法测定混合气体中的氧

氧——离子传导固体电解质的最重要的用途之一是直接测定高温下气体混合物中的氧分压。由 Lttlewood提出的氧浓差电池或氧探管可用来控制诸如渗碳,退火以及燃烧等许多冶金过程。这