-
题名一种防标签身份泄露的RFID系统密钥生成算法
被引量：2
- 1
-
-
作者
汪金龙
王建芳
-
机构
郑州工商学院机械与电信工程学院
河南理工大学计算机科学与技术学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2019年第4期119-124,共6页
-
基金
国家自然科学基金(No.61202286)
河南省高等学校重点科研项目(No.16A120014)
河南省高等学校青年骨干教师资助计划(No.2015GGJS-068)
-
文摘
针对现有无线射频识别系统密钥生成算法中存在的标签身份信息泄露问题、密钥伪造攻击的安全性问题、标签计算代价较高的成本问题以及算法理论证明过程缺失问题等,分别设计了在三种常见场景下适用的防标签隐私泄露的RFID系统密钥无线生成算法。通过给出算法完整的GNY模型、假设模型、安全模型,证明了算法的合理性与可行性。最后,在相关算法之间进行算法安全性、标签成本对比分析,表明新的算法具有更高的安全性和更低的成本。
-
关键词
无线射频识别
密钥生成
身份泄露
密钥伪造
GNY逻辑
-
Keywords
Radio Frequency Identification(RFID)
key generation
identity leak
key forgery
GNY logic
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名Spi演算的扩展及其对JFKi协议的分析与改进
- 2
-
-
作者
汤海婷
汪学明
-
机构
贵州大学计算机科学与技术学院
-
出处
《计算机工程与设计》
北大核心
2017年第9期2353-2357,共5页
-
基金
国家自然科学基金项目([2011]61163049)
贵州省自然科学基金项目(黔科合J字[2014]7641)
-
文摘
为分析和验证JFKi协议的相关属性,对Spi演算的扩展进行研究,利用扩展Spi演算对JFKi密钥交换协议进行形式化分析,证明JFKi协议满足认证性和保密性。然而,JFKi协议在遭到重放攻击后,发起方的身份信息会泄露,且JFKi协议本身的属性让它更容易遭受Dos攻击。针对这些缺陷,提出一种JFKi协议的改进方案,采用Spi演算验证该方案是可行的且安全性更高。
-
关键词
JFKi协议
扩展Spi演算
身份泄露
DOS攻击
协议分析
-
Keywords
JFKi protocol
extended Spi calculus
identity leakage
Dos attacks
protocol analysis
-
分类号
TP309.7
[自动化与计算机技术—计算机系统结构]
-
