基于静态分析的Fabric智能合约安全检测

Fabric区块链作为广受欢迎的联盟链框架,其智能合约多采用Golang通用高级语言开发,而智能合约在开发过程中容易引入安全漏洞,部署后会产生潜在的安全隐患.虽然Golang语言通用的代码存在静态审计工具,但是该工具不能有效识别与智能合约中与区块链系统架构相关的安全风险.为了应对上述情况,本文研究总结了 Fabric区...     

抗电磁干扰的电力工器具RFID电力标签的设计

传统电力工器具RFID电力标签在强电磁干扰环境下无法正常工作,容易导致标签损坏和信息泄露。针对上述问题,本文设计一种抗电磁干扰的RFID电力标签。该RFID电力标签外壳使用抗干扰材料和高绝缘耐压的封装,标签内部使用STM32L4微控制器,并且提出基于卡尔曼滤波的双阶段滤波算法,数据传输使用超高频,从而达到良好的抗电磁干扰和抗噪效果。另外,标签与读写器之间的通信采用基于器件物理特性指纹的物理不可克隆函数进行加密。最后通过实验验证本文设计的RFID标签不仅能够抵抗强电磁干扰,而且能够防止信息泄露,可以很好地应用于复杂电力环境中。     

基于随机Hash链的双向安全认证RFID协议

射频识别（RFID）技术在物联网领域得到广泛的运用,但是RFID系统在信息传输过程中容易被窃取和伪造,RFID系统已经暴露出严重的安全问题。针对目前主流的Hash链协议簇存在的假冒攻击问题,提出一种基于随机Hash链的双向安全认证协议。在双向认证过程中,阅读器通过识别随机数K的数值来验证响应报文的有效性,标签通过检测回传报文的标签属性检测阅读器的合法性,阅读器通过检测标签预置身份来防止标签被假冒,保障数据在系统中的真实性,可有效提高系统的前向安全、防伪造与防位置跟踪等安全特性。最后本文使用BAN逻辑对提出的双向安全认证协议进行安全验证,实验结果表明标签与阅读器之间具有可相互认证的安全性。