基于反比例函数的RFID组证明协议

针对现有的大多数证明协议仅能证明单组或单标签存在不足,提出一种可适用于证明多标签或多组标签存在的证明协议。协议为减少所有通信实体端计算量,采用一种构造超轻量级的反比例函数算法进行信息加密;给出反比例函数具体构造方法及实现步骤,构造过程中结合加密信息自身汉明重量取值,有效地减少了参数的引入,可一定程度上节约存储空间,同时增加了协议破解难度。从理论角度对协议进行安全及性能方面分析,表明该协议能够抵抗常见类型的攻击,且性能优于其他经典协议。

安全协议分析的界——综合模型检查与Strand Spaces(英文)

Strand Spaces是一种用于分析安全协议的机器证明方法.简要介绍了 Strand Spaces的基本特点,分析了其优劣,提出了构造协议的理想子环的算法,并以此来约束协议入侵者的能力和协议并行运行的次数.将模型检查与 Strand Spaces结合在一起,提出了一种综合分析方法来验证协议的安全特性,该方法可充分发挥模型检查与 Strand Spaces二者的优势.

JJG229-2010给出的不确定度评定方法会导致错误选用检定标准

JJG229-2010《工业铂、铜热电阻》给出的测量不确定度评定方法,没有认识到只有测量值正强相关,相关系数为+1或很接近+1,其测量不确定度才能代数和合成。仅凭测量值相关就认为其测量不确定度为代数和合成,评定出的标准不确定度,仅为正确的标准不确定度的十分之一。显然,据此评定结果选用检定标准必定是错误的,会使得量值传递的测量不确定度不满足要求。