Yahalom-Paulson协议的串空间模型与分析

doi:10.3778/j.issn.1002-8331.2008.22.030

计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (22): 97-99.DOI: 10.3778/j.issn.1002-8331.2008.22.030

Yahalom-Paulson协议的串空间模型与分析

丁萌伟,周清雷,赵东明

郑州大学信息工程学院，郑州450052

收稿日期:2007-10-10 修回日期:2008-03-21 出版日期:2008-07-11 发布日期:2008-07-11
通讯作者: 丁萌伟

Strand space model of Yahalom-Paulson protocol and its analysis

DING Meng-wei,ZHOU Qing-lei,ZHAO Dong-ming

School of Information Engineering， Zhengzhou University， Zhengzhou 450052， China

Received:2007-10-10 Revised:2008-03-21 Online:2008-07-11 Published:2008-07-11
Contact: DING Meng-wei

摘要/Abstract

摘要： 串空间模型是一种新兴的密码协议形式化分析工具，其理论中理想和诚实概念的提出大大减少了协议的证明步骤。首次利用串空间理论从机密性和认证性两个方面对Yahalom-Paulson协议进行了分析。分析结果证明该协议是安全的。

关键词: 密码协议, Yahalom-Paulson协议, 串空间, 理想

Abstract: Strand spaces model is a new formal analysis tool to the analysis of cryptographic protocols.Furthermore，the proposition of the two concepts of ideal and honest simplifies the process of verification of cryptographic protocols.For the first time， based on the theory of strand space， Yahalom-Paulson protocol is analyzed from the aspects of both confidentiality and authentication.The analysis proves the correctness of the protocol.

Key words: cryptographic protocol, Yahalom-Paulson protocol, strand space, ideal

丁萌伟,周清雷,赵东明. Yahalom-Paulson协议的串空间模型与分析[J]. 计算机工程与应用, 2008, 44(22): 97-99.

DING Meng-wei,ZHOU Qing-lei,ZHAO Dong-ming. Strand space model of Yahalom-Paulson protocol and its analysis[J]. Computer Engineering and Applications, 2008, 44(22): 97-99.

[1]	王丰效. 坡代数的区间值模糊理想[J]. 计算机工程与应用, 2018, 54(9): 54-56.
[2]	黄昱1，廖祖华2，李论3. 亚BCI-代数的新型软正关联理想[J]. 计算机工程与应用, 2018, 54(21): 31-36.
[3]	李茜1，王峥1，马建芬1，李娜2. 轻量级移动支付协议公平性分析[J]. 计算机工程与应用, 2018, 54(19): 82-87.
[4]	刘春辉. 否定非对合剩余格的IV-模糊理想[J]. 计算机工程与应用, 2018, 54(18): 40-44.
[5]	孟彪龙，付巧峰，梁少辉. 格蕴涵代数中的极小素理想及α-理想[J]. 计算机工程与应用, 2018, 54(16): 44-48.
[6]	彭家寅. BR0代数的犹豫模糊滤子与理想[J]. 计算机工程与应用, 2018, 54(11): 62-66.
[7]	王伦磊，吴洪博. IMTL-代数的零化算子和[⊕]理想及其相互关系[J]. 计算机工程与应用, 2017, 53(9): 57-62.
[8]	傅小波. 格蕴涵代数的[Ω-]模糊LI-理想[J]. 计算机工程与应用, 2017, 53(22): 50-54.
[9]	商玉芳，梁向前，孙意如. 理想格上基于身份的代理重签名方案[J]. 计算机工程与应用, 2017, 53(21): 110-114.
[10]	汪淑娟，闫春婷，毛志远. 无线网络非理想反馈下有序数据的渐进式传输[J]. 计算机工程与应用, 2016, 52(8): 97-101.
[11]	彭新东，杨勇. 基于Pythagorean模糊语言集多属性群决策方法[J]. 计算机工程与应用, 2016, 52(23): 50-54.
[12]	王彩芬，邓云霞，牛淑芬. 一个新的理想格上基于属性的加密方案[J]. 计算机工程与应用, 2016, 52(17): 123-127.
[13]	廖祖华1，3，4，王妮妮2，3，4，郑高平1，3，4，章里程1，3，4. 格蕴涵代数的软滤子[J]. 计算机工程与应用, 2015, 51(9): 72-76.
[14]	郑高平1，3，4，廖祖华1，3，4，王妮妮2，3，4，章里程1，4. 格蕴涵代数的软LI-理想[J]. 计算机工程与应用, 2015, 51(8): 42-46.
[15]	刘春辉1，2. 基于区间值模糊集的理想化软BCK代数[J]. 计算机工程与应用, 2015, 51(22): 66-69.

Yahalom-Paulson协议的串空间模型与分析

Strand space model of Yahalom-Paulson protocol and its analysis

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics