期刊文章详细信息
密码协议的Promela语言建模及分析
Promela modeling and analysis for security protocol
文献类型：期刊文章
机构地区：[1]贵州大学计算机软件与理论研究所,贵州贵阳550025
基 金：贵州省自然科学基金资助项目(20043029)
年 份：2005
卷 号：25
期 号：7
起止页码：1548-1550
语 种：中文
收录情况：AJ、BDHX、BDHX2004、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、IC、INSPEC、JST、RCCSE、ZGKJHX、ZMATH、核心刊
摘 要：给出了利用SPIN模型检测分析密码协议的一般方法。作为一个实例,对NeedhamSchroeder公钥密码协议用Promela语言建模,并利用SPIN进行了分析验证,发现了其安全漏洞。该方法很容易推广到有多个主体参与的密码协议的分析。
关 键 词：密码协议 模型检测 SPIN PROMELA
分 类 号：TP309.2]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
