Automatic Verification for Secrecy of Cryptographic Protocols in First-Order Logic
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Hindawi - SAGE Publishing
2009-01-01
|
| Series: | International Journal of Distributed Sensor Networks |
| Online Access: | http://dx.doi.org/10.1080/15501320802505986 |
| _version_ | 1797708089468649472 |
|---|---|
| author | Jihong Han Zhiyong Zhou Yadi Wang |
| author_facet | Jihong Han Zhiyong Zhou Yadi Wang |
| author_sort | Jihong Han |
| collection | DOAJ |
| first_indexed | 2024-03-12T06:16:14Z |
| format | Article |
| id | doaj.art-e21209489edd4a0698c5a842f28baef7 |
| institution | Directory Open Access Journal |
| issn | 1550-1329 1550-1477 |
| language | English |
| last_indexed | 2024-03-12T06:16:14Z |
| publishDate | 2009-01-01 |
| publisher | Hindawi - SAGE Publishing |
| record_format | Article |
| series | International Journal of Distributed Sensor Networks |
| spelling | doaj.art-e21209489edd4a0698c5a842f28baef72023-09-03T02:34:06ZengHindawi - SAGE PublishingInternational Journal of Distributed Sensor Networks1550-13291550-14772009-01-0151141410.1080/15501320802505986Automatic Verification for Secrecy of Cryptographic Protocols in First-Order LogicJihong HanZhiyong ZhouYadi Wanghttp://dx.doi.org/10.1080/15501320802505986 |
| spellingShingle | Jihong Han Zhiyong Zhou Yadi Wang Automatic Verification for Secrecy of Cryptographic Protocols in First-Order Logic International Journal of Distributed Sensor Networks |
| title | Automatic Verification for Secrecy of Cryptographic Protocols in First-Order Logic |
| title_full | Automatic Verification for Secrecy of Cryptographic Protocols in First-Order Logic |
| title_fullStr | Automatic Verification for Secrecy of Cryptographic Protocols in First-Order Logic |
| title_full_unstemmed | Automatic Verification for Secrecy of Cryptographic Protocols in First-Order Logic |
| title_short | Automatic Verification for Secrecy of Cryptographic Protocols in First-Order Logic |
| title_sort | automatic verification for secrecy of cryptographic protocols in first order logic |
| url | http://dx.doi.org/10.1080/15501320802505986 |
| work_keys_str_mv | AT jihonghan automaticverificationforsecrecyofcryptographicprotocolsinfirstorderlogic AT zhiyongzhou automaticverificationforsecrecyofcryptographicprotocolsinfirstorderlogic AT yadiwang automaticverificationforsecrecyofcryptographicprotocolsinfirstorderlogic |