基于SPIN的MIXCOIN协议形式化分析与验证

区块链混币机制协议是保障区块链安全和隐私的有效手段之一。MIXCOIN协议是一种典型的区块链混币机制协议,针对MIXCOIN协议可能存在泄漏用户地址关联性,导致协议不满足匿名性的问题,提出MIXCOIN协议形式化抽象表示方法,简化协议主体个数,约简加解密钥串表示,定义比特币转移函数,有效地解决了复杂协议难以形式化表示的问题。同时改进Dolev-Yao攻击者建模方法,引入敌手控制通道,可以更好地分析匿名通信协议。运用模型检测工具SPIN对MIXCOIN协议的认证性和匿名性进行验证,结果表明,协议存在中间人攻击和重放攻击,泄漏用户端混币地址的关联性,MIXCOIN协议只满足认证性而不满足匿名性。

基于AT89C51单片机的硬币高速检伪机

采用电涡流检测方法检测真假硬币,用AT89C51单片机开发出检测速度快、准确率高、价格适当的硬币高速检伪机,从而替代国外同类产品。目前该机已批量生产,具有较好的市场前景。

基于单片机的智能投币箱设计与实现

为了自动辨别硬币的真伪,并提高硬币的清点速度,设计了一种基于单片机的智能投币箱.设计主要包括硬币真伪检测和包装两部分.检测系统采用电涡流方式实现硬币检伪,完成检测系统设计和控制系统设计.实验表明,该设计控制效果较好.