SPI演算规范的建模、实现验证研究

计算机科学 ›› 2007, Vol. 34 ›› Issue (10): 80-83.

• 软件工程与数据库技术 • 上一篇下一篇

SPI演算规范的建模、实现验证研究

徐东红齐勇侯迪

西安交通大学电子与信息工程学院,西安710049

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
国家自然科学基金（No.60473098）和国家高技术研究发展计划（863）（No.2004AA112040）资助.

XU Dong-Hong ,QI Yong ,HOU Di （School of Electronics and Information Engineering, Xi ＇ an Jiaotong University, Xi ＇ an 710049）

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 针对安全协议安全属性是否满足，缺乏有效性能评价方法的现状，大都使用SPI演算或相近的进程代数方法进行建模。利用这种方法不仅能够有效地形式化描述安全协议，并且能够对安全协议进行多方面的系统评价，但基本上没有说明怎么样寻找设计合适的验证工具，验证其安全属性实现的正确性。本文引入基于SPI演算的验证工具SPRITE来保证建模过程正确性，并设计给出实现映射的具体方法。本方法通过对典型的WOO-LAM单向认证协议予以说明，最后SPRITE产生的具体JAVA代码，给出了安全协议的安全属性，使形式化描述的协议的安全属性

关键词: 形式化方法进程代数安全协议 SPI演算应用程序接口（API）

Abstract: Under the situations of effective approach being lack to evaluate the security properties of security protocols, an approach is proposed to construct the security protocol based on SPI calculus or similar process algebra in this paper. Applying this appro

Key words: Formal method, Process algebra, Security protocol, SPI calculus , API

徐东红齐勇侯迪. SPI演算规范的建模、实现验证研究[J]. 计算机科学, 2007, 34(10): 80-83. https://doi.org/

XU Dong-Hong ,QI Yong ,HOU Di （School of Electronics and Information Engineering, Xi ＇ an Jiaotong University, Xi ＇ an 710049）. [J]. Computer Science, 2007, 34(10): 80-83. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

SPI演算规范的建模、实现验证研究

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0