Improvement and formal proof on protocol Otway-Rees
Choosing the authentication key distribution protocol Otway-Rees as the research object,using protocol composition logic (PCL) as proof tool,the security protocol analysis and formal proof was studied.Firstly,this paper gave the forms of security attack,analyzed the Otway-Rees defects and put forwar...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
Editorial Department of Journal on Communications
2012-09-01
|
| Series: | Tongxin xuebao |
| Subjects: | |
| Online Access: | http://www.joconline.com.cn/zh/article/doi/10.3969/j.issn.1000-436x.2012.z1.033/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1841539869090775040 |
|---|---|
| author | Lai-feng LU Xin-dong DUAN Jian-feng MA |
| author_facet | Lai-feng LU Xin-dong DUAN Jian-feng MA |
| author_sort | Lai-feng LU |
| collection | DOAJ |
| description | Choosing the authentication key distribution protocol Otway-Rees as the research object,using protocol composition logic (PCL) as proof tool,the security protocol analysis and formal proof was studied.Firstly,this paper gave the forms of security attack,analyzed the Otway-Rees defects and put forward the amended protocol (named as AOR protocol).Then,PCL was extended.And then PCL was used to describe and prove the behavior of each entity and the safety of the protocol attribute formally.Finally,the conclusion was given that the amended AOR protocol has the security attribute of key confidentiality. |
| format | Article |
| id | doaj-art-62e107fc0f8745118ca6581912cca07e |
| institution | Kabale University |
| issn | 1000-436X |
| language | zho |
| publishDate | 2012-09-01 |
| publisher | Editorial Department of Journal on Communications |
| record_format | Article |
| series | Tongxin xuebao |
| spelling | doaj-art-62e107fc0f8745118ca6581912cca07e2025-01-14T06:33:59ZzhoEditorial Department of Journal on CommunicationsTongxin xuebao1000-436X2012-09-013325025459667843Improvement and formal proof on protocol Otway-ReesLai-feng LUXin-dong DUANJian-feng MAChoosing the authentication key distribution protocol Otway-Rees as the research object,using protocol composition logic (PCL) as proof tool,the security protocol analysis and formal proof was studied.Firstly,this paper gave the forms of security attack,analyzed the Otway-Rees defects and put forward the amended protocol (named as AOR protocol).Then,PCL was extended.And then PCL was used to describe and prove the behavior of each entity and the safety of the protocol attribute formally.Finally,the conclusion was given that the amended AOR protocol has the security attribute of key confidentiality.http://www.joconline.com.cn/zh/article/doi/10.3969/j.issn.1000-436x.2012.z1.033/security protocolformal methodsprotocol composition logicprotocol Otway-Rees |
| spellingShingle | Lai-feng LU Xin-dong DUAN Jian-feng MA Improvement and formal proof on protocol Otway-Rees Tongxin xuebao security protocol formal methods protocol composition logic protocol Otway-Rees |
| title | Improvement and formal proof on protocol Otway-Rees |
| title_full | Improvement and formal proof on protocol Otway-Rees |
| title_fullStr | Improvement and formal proof on protocol Otway-Rees |
| title_full_unstemmed | Improvement and formal proof on protocol Otway-Rees |
| title_short | Improvement and formal proof on protocol Otway-Rees |
| title_sort | improvement and formal proof on protocol otway rees |
| topic | security protocol formal methods protocol composition logic protocol Otway-Rees |
| url | http://www.joconline.com.cn/zh/article/doi/10.3969/j.issn.1000-436x.2012.z1.033/ |
| work_keys_str_mv | AT laifenglu improvementandformalproofonprotocolotwayrees AT xindongduan improvementandformalproofonprotocolotwayrees AT jianfengma improvementandformalproofonprotocolotwayrees |