Formal analysis of non-repudiation protocol by spi
spi calculus, which was based on the theorems of process algebra, was fit for the proof of concurrent protocol execution. Message origination test was put up and the semantics of message sign operation was successfully expressed base on the test, at last, the non-repudiation protocol ZG was proved s...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
Editorial Department of Journal on Communications
2009-01-01
|
| Series: | Tongxin xuebao |
| Subjects: | |
| Online Access: | http://www.joconline.com.cn/zh/article/74651104/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1841537639061127168 |
|---|---|
| author | LI Yuan1 JIANG Jian-guo1 WANG Huan-bao2 |
| author_facet | LI Yuan1 JIANG Jian-guo1 WANG Huan-bao2 |
| author_sort | LI Yuan1 |
| collection | DOAJ |
| description | spi calculus, which was based on the theorems of process algebra, was fit for the proof of concurrent protocol execution. Message origination test was put up and the semantics of message sign operation was successfully expressed base on the test, at last, the non-repudiation protocol ZG was proved so as to prove the validity of the method. |
| format | Article |
| id | doaj-art-a6f06141a2264717a475530380957655 |
| institution | Kabale University |
| issn | 1000-436X |
| language | zho |
| publishDate | 2009-01-01 |
| publisher | Editorial Department of Journal on Communications |
| record_format | Article |
| series | Tongxin xuebao |
| spelling | doaj-art-a6f06141a2264717a4755303809576552025-01-14T08:29:17ZzhoEditorial Department of Journal on CommunicationsTongxin xuebao1000-436X2009-01-0130949874651104Formal analysis of non-repudiation protocol by spiLI Yuan1JIANG Jian-guo1WANG Huan-bao2spi calculus, which was based on the theorems of process algebra, was fit for the proof of concurrent protocol execution. Message origination test was put up and the semantics of message sign operation was successfully expressed base on the test, at last, the non-repudiation protocol ZG was proved so as to prove the validity of the method.http://www.joconline.com.cn/zh/article/74651104/spi calculusnon-repudiationfairnessmessage origination test |
| spellingShingle | LI Yuan1 JIANG Jian-guo1 WANG Huan-bao2 Formal analysis of non-repudiation protocol by spi Tongxin xuebao spi calculus non-repudiation fairness message origination test |
| title | Formal analysis of non-repudiation protocol by spi |
| title_full | Formal analysis of non-repudiation protocol by spi |
| title_fullStr | Formal analysis of non-repudiation protocol by spi |
| title_full_unstemmed | Formal analysis of non-repudiation protocol by spi |
| title_short | Formal analysis of non-repudiation protocol by spi |
| title_sort | formal analysis of non repudiation protocol by spi |
| topic | spi calculus non-repudiation fairness message origination test |
| url | http://www.joconline.com.cn/zh/article/74651104/ |
| work_keys_str_mv | AT liyuan1 formalanalysisofnonrepudiationprotocolbyspi AT jiangjianguo1 formalanalysisofnonrepudiationprotocolbyspi AT wanghuanbao2 formalanalysisofnonrepudiationprotocolbyspi |