唐静
- 作品数：4 被引量：13H指数：1
- 供职机构：中国科学院研究生院信息安全国家重点实验室更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于LPN问题的RFID安全协议设计与分析被引量：13
- 2009年
- 该文对现有的基于LPN问题的RFID安全协议进行了系统分析，总结了这类协议存在的一些设计缺陷。为了克服这类协议中存在的安全漏洞，对其中一个最新版本的协议HB＋进行改进，设计了一个新的RFID安全协议HB^#，并在随机预言模型下给出了新协议的归约性证明。
- 唐静姬东耀
- 关键词：归约
- HB协议的形式规约与验证被引量：1
- 2008年
- 形式化方法是确保安全协议设计正确性的重要工具,利用形式化方法已经发现了许多安全协议的设计错误.首次利用形式规约语言Z对RFID安全协议HB进行形式规约,并对HB协议应该满足的安全性质进行形式化描述,使用Z模式推理从协议及其运行环境两个方面验证了协议的关键安全属性,发现了HB协议在设计方面的缺陷,提出了HB协议的一种改进方法.
- 唐静姬东耀
- 关键词：形式规约安全协议
- HB协议的安全性分析及改进
- 本文分析了 RFID 安全协议 HB 的安全性,并给出了其在抗主动攻击方面的具体安全指标,最后对 HB 协议进行改进,并提出了一个新的 RFID 认证协议。
- 唐静姬东耀
- 关键词：RFID
- 文献传递
- HB协议的形式规约与验证
- 形式化方法是确保安全协议设计正确性的重要工具,利用形式化方法已经发现了许多安全协议的设计错误.首次利用形式规约语言Z对RFID安全协议HB进行形式规约, 并对HB协议应该满足的安全性质进行形式化描述,使用Z模式推理从协议...
- 唐静姬东耀
- 关键词：形式规约语言安全协议
- 文献传递
