首页> 中文会议>2007全国理论计算机科学学术年会 >HB协议的形式规约与验证

HB协议的形式规约与验证

页面导航

摘要
著录项
相似文献
相关主题

摘要

形式化方法是确保安全协议设计正确性的重要工具,利用形式化方法已经发现了许多安全协议的设计错误.首次利用形式规约语言Z对RFID安全协议HB进行形式规约, 并对HB协议应该满足的安全性质进行形式化描述,使用Z模式推理从协议及其运行环境两个方面验证了协议的关键安全属性,发现了HB协议在设计方面的缺陷,提出了HB协议的一种改进方法.

著录项

来源
《2007全国理论计算机科学学术年会》|2007年|113-117|共5页
会议地点南宁
作者
唐静; 姬东耀;
展开▼
作者单位

中国计算机学会;

广西大学;

计算机研究与发展编辑部;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类安全保密;
关键词
形式规约; 形式验证; 安全协议;

相似文献

中文文献
外文文献
专利

1. HB协议的形式规约与验证 [J] . 唐静 ,姬东耀 . 计算机研究与发展 . 2008,第0z1期
2. 基于行为时序逻辑TLA的Pastry协议的规约与验证 [J] . 刘照洋 ,龙士工 . 贵州大学学报（自然科学版） . 2015,第006期
3. 基于TLA+的BRP协议规约及验证 [J] . 陈立前 ,王戟 ,陈火旺 . 计算机工程与科学 . 2006,第001期
4. 基于断言验证技术的Wishbone AHB协议总线桥设计研究 [J] . 刘洋 . 科学与财富 . 2011,第003期
5. 汇编级顺序语句块的自动形式化规约及其验证 [J] . 祁龙云 ,吕小亮 ,路红 . 计算机工程 . 2019,第010期
6. 电子商务协议的形式化验证方法及FR验证实例 [C] . 郭华 ,庄雷 . 2005年全国理论计算机科学学术年会 . 2005
7. 基于知识理论的安全协议形式化验证方法的应用——验证对称密钥交换协议 [A] . 罗方跃 . 2006

HB协议的形式规约与验证

摘要

著录项

相似文献

相关主题

期刊订阅