Extended-CSP based analysis of non-repudiation protocols
A new formal method named extended-CSP approach was proposed for non-repudiation protocols.For check-ing its validity,both the well-known Zhou-Gollmann fair non-repudiation protocol presented by Zhou et al.in 1996 and one of its variant protocol were analyzed with this method.The result showed that...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
Editorial Department of Journal on Communications
2008-01-01
|
| Series: | Tongxin xuebao |
| Subjects: | |
| Online Access: | http://www.joconline.com.cn/zh/article/74653621/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1841537554264883200 |
|---|---|
| author | HAN Zhi-geng LUO Jun-zhou WANG Liang-min |
| author_facet | HAN Zhi-geng LUO Jun-zhou WANG Liang-min |
| author_sort | HAN Zhi-geng |
| collection | DOAJ |
| description | A new formal method named extended-CSP approach was proposed for non-repudiation protocols.For check-ing its validity,both the well-known Zhou-Gollmann fair non-repudiation protocol presented by Zhou et al.in 1996 and one of its variant protocol were analyzed with this method.The result showed that this method not only could be used to analyze some security properties that could not be described by other methods,but also detected a known flaw of the protocol which could not be found by others,and meanwhile proved the variant protocol really enhancing its security.Finally,the correctness of this method was surveyed from the points of both its semantic and theory dependency,and some advantages in comparison with others were also showed together. |
| format | Article |
| id | doaj-art-8af9f6d158254b47b3b63ab078b3ac43 |
| institution | Kabale University |
| issn | 1000-436X |
| language | zho |
| publishDate | 2008-01-01 |
| publisher | Editorial Department of Journal on Communications |
| record_format | Article |
| series | Tongxin xuebao |
| spelling | doaj-art-8af9f6d158254b47b3b63ab078b3ac432025-01-14T08:32:07ZzhoEditorial Department of Journal on CommunicationsTongxin xuebao1000-436X2008-01-0181874653621Extended-CSP based analysis of non-repudiation protocolsHAN Zhi-gengLUO Jun-zhouWANG Liang-minA new formal method named extended-CSP approach was proposed for non-repudiation protocols.For check-ing its validity,both the well-known Zhou-Gollmann fair non-repudiation protocol presented by Zhou et al.in 1996 and one of its variant protocol were analyzed with this method.The result showed that this method not only could be used to analyze some security properties that could not be described by other methods,but also detected a known flaw of the protocol which could not be found by others,and meanwhile proved the variant protocol really enhancing its security.Finally,the correctness of this method was surveyed from the points of both its semantic and theory dependency,and some advantages in comparison with others were also showed together.http://www.joconline.com.cn/zh/article/74653621/non-repudiationextended-CSP approachfairnesstimelinessformal method |
| spellingShingle | HAN Zhi-geng LUO Jun-zhou WANG Liang-min Extended-CSP based analysis of non-repudiation protocols Tongxin xuebao non-repudiation extended-CSP approach fairness timeliness formal method |
| title | Extended-CSP based analysis of non-repudiation protocols |
| title_full | Extended-CSP based analysis of non-repudiation protocols |
| title_fullStr | Extended-CSP based analysis of non-repudiation protocols |
| title_full_unstemmed | Extended-CSP based analysis of non-repudiation protocols |
| title_short | Extended-CSP based analysis of non-repudiation protocols |
| title_sort | extended csp based analysis of non repudiation protocols |
| topic | non-repudiation extended-CSP approach fairness timeliness formal method |
| url | http://www.joconline.com.cn/zh/article/74653621/ |
| work_keys_str_mv | AT hanzhigeng extendedcspbasedanalysisofnonrepudiationprotocols AT luojunzhou extendedcspbasedanalysisofnonrepudiationprotocols AT wangliangmin extendedcspbasedanalysisofnonrepudiationprotocols |