{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:29:25Z","timestamp":1750220965856,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T00:00:00Z","timestamp":1555027200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,4,12]]},"DOI":"10.1145\/3325730.3325750","type":"proceedings-article","created":{"date-parts":[[2019,6,21]],"date-time":"2019-06-21T12:45:07Z","timestamp":1561121107000},"page":"141-145","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Research on Formal Analysis Method of Computational Soundness Based on Strand Space"],"prefix":"10.1145","author":[{"given":"Meng-meng","family":"Yao","sequence":"first","affiliation":[{"name":"Software development Dept, Jiangnan Institute of computing technology, WuXi, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ye","family":"Zhu","sequence":"additional","affiliation":[{"name":"Software development Dept, Jiangnan Institute of computing technology, WuXi, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Li","family":"Tang","sequence":"additional","affiliation":[{"name":"Software development Dept, Jiangnan Institute of computing technology, WuXi, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,4,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Duan R. Xu N.Y. and Hu A.Q. 2015. Research on Authentication Protocol Security Based on Formal Verifi cation Tool. J. Netinfo Security. 7(July. 2015) 71--76.  Duan R. Xu N.Y. and Hu A.Q. 2015. Research on Authentication Protocol Security Based on Formal Verifi cation Tool. J. Netinfo Security. 7(July. 2015) 71--76."},{"key":"e_1_3_2_1_2_1","unstructured":"Lei X.F. Song S.M. and Xue R. 2016. A Survey on Computationally Sound Formal Analysis of Cryptographic Protocol. J. Chinese Jouranl Of Computers. 5(May. 2016) 993--1000.  Lei X.F. Song S.M. and Xue R. 2016. A Survey on Computationally Sound Formal Analysis of Cryptographic Protocol. J. Chinese Jouranl Of Computers. 5(May. 2016) 993--1000."},{"key":"e_1_3_2_1_3_1","volume-title":"Design and Analysis of Security protocols","author":"Zhang W.Z.","year":"2015","unstructured":"Zhang , W.Z. 2015. Design and Analysis of Security protocols . M. National Defense Industry Press . 12( Dec. 2015 ), 120--130. Zhang, W.Z. 2015. Design and Analysis of Security protocols. M. National Defense Industry Press. 12(Dec. 2015), 120--130."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1981.32"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Fabreag F.J.T. Herzog. J.C. and Guttman J.D. 1999. Proving security protocols correct. J. Journal of Computer Security. 7(July 1999) 191--230.   Fabreag F.J.T. Herzog. J.C. and Guttman J.D. 1999. Proving security protocols correct. J. Journal of Computer Security. 7(July 1999) 191--230.","DOI":"10.3233\/JCS-1999-72-304"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Ramsdel J. D. Dougherty D. J. and Guttman J. D. 2014. A Hybrid Analysis for Security Protocols with State. M. Springer International Publishing.  Ramsdel J. D. Dougherty D. J. and Guttman J. D. 2014. A Hybrid Analysis for Security Protocols with State. M. Springer International Publishing.","DOI":"10.1007\/978-3-319-10181-1_17"},{"key":"e_1_3_2_1_7_1","first-page":"149","volume":"4","author":"Song W.T.","unstructured":"Song , W.T. , and Bin , H.U. 2015. One strong authentication test suitable for analysis of nested encryption protocols. J.Computer Science. 4 2(Jan. 2015), 149 -- 169 . Song, W.T., and Bin, H.U. 2015. One strong authentication test suitable for analysis of nested encryption protocols. J.Computer Science. 42(Jan. 2015), 149--169.","journal-title":"J.Computer Science."},{"key":"e_1_3_2_1_8_1","first-page":"701","volume":"3","author":"Wei F.","unstructured":"Wei , F. , Feng , D.G. 2015. Analyzing trusted computing protocol based on the strand spaces model. J. Chinese Journal of Computers. 3 8(Apr. 2015), 701 -- 716 . Wei, F., Feng, D.G. 2015. Analyzing trusted computing protocol based on the strand spaces model. J. Chinese Journal of Computers. 38(Apr. 2015), 701--716.","journal-title":"Computers."},{"key":"e_1_3_2_1_9_1","volume-title":"Automatic verification of security protocols with strand space theory. J. Journal of Computer Applications. 35(July","author":"Liu J.","year":"2015","unstructured":"Liu , J. 2015. Automatic verification of security protocols with strand space theory. J. Journal of Computer Applications. 35(July . 2015 ), 1870--1876. Liu, J.2015. Automatic verification of security protocols with strand space theory. J. Journal of Computer Applications. 35(July. 2015), 1870--1876."},{"key":"e_1_3_2_1_10_1","volume":"21","author":"Yu Y.","unstructured":"Yu , Y. , Wei S.M. , and Jiang , M.M. 2018. Formal Analysis Method of Security Protocol Based on Correlation Degree of Principals. J. Netinfo Security. 21 0(June. 2018), 51--57. Yu, Y., Wei S.M., and Jiang, M.M. 2018. Formal Analysis Method of Security Protocol Based on Correlation Degree of Principals. J. Netinfo Security. 210(June. 2018), 51--57.","journal-title":"Principals. J. Netinfo Security."},{"key":"e_1_3_2_1_11_1","first-page":"27","volume":"1","author":"Yao M.M.","unstructured":"Yao , M.M. , Zhu , Z.C. , Liu , M.D. 2019. An improved formal analysis method based on authentication tests. J. Netinfo Security. 1 9(Jan. 2019), 27 -- 33 . Yao, M.M., Zhu, Z.C., Liu, M.D. 2019. An improved formal analysis method based on authentication tests. J. Netinfo Security. 19(Jan. 2019), 27--33.","journal-title":"J. Netinfo Security."},{"key":"e_1_3_2_1_12_1","volume-title":"Analysis of Key-Exchange Protocols and Their Use for Building Secure Channels. Advances in Cryptology. EUROCRYPT","author":"Ran C.","year":"2001","unstructured":"Ran , C. , and Krawczyk , H . 2001 . Analysis of Key-Exchange Protocols and Their Use for Building Secure Channels. Advances in Cryptology. EUROCRYPT 2001 . Ran, C., and Krawczyk, H. 2001. Analysis of Key-Exchange Protocols and Their Use for Building Secure Channels. Advances in Cryptology. EUROCRYPT 2001."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1779394.1779396"},{"key":"e_1_3_2_1_14_1","first-page":"1390","volume":"4","author":"Pan J.X.","unstructured":"Pan , J.X. , and Wang , L.B. 2011. A Modular Approach Towards Design and Analysis of Authenticated Key Exchange Protocol Based on Extended Canetti-Krawczyk Model. J. Journal of Computer Research and Development. 4 8(Aug. 2011), 1390 -- 1399 . Pan, J.X., and Wang, L.B. 2011. A Modular Approach Towards Design and Analysis of Authenticated Key Exchange Protocol Based on Extended Canetti-Krawczyk Model. J. Journal of Computer Research and Development. 48(Aug. 2011), 1390--1399.","journal-title":"Development."},{"key":"e_1_3_2_1_15_1","unstructured":"Zhou Y.W. and Yang B. 2015. Provable Secure Authentication Protocol with Direct Anonymity for Mobile Nodes Roaming Service in Internet of Things. J. Journal of Software. 9(Sept 2015).  Zhou Y.W. and Yang B. 2015. Provable Secure Authentication Protocol with Direct Anonymity for Mobile Nodes Roaming Service in Internet of Things. J. Journal of Software. 9(Sept 2015)."},{"key":"e_1_3_2_1_16_1","unstructured":"Zhou Y.W. Yang B. and Zhang W.Z. 2017. Security Access Model in Pervasive Computing Environment. J. Acta Electronica Sinica. 4(Apr. 2017) 194--200.  Zhou Y.W. Yang B. and Zhang W.Z. 2017. Security Access Model in Pervasive Computing Environment. J. Acta Electronica Sinica. 4(Apr. 2017) 194--200."},{"key":"e_1_3_2_1_17_1","first-page":"1900","volume":"201","author":"Odelu V.","unstructured":"Odelu , V. , Das , A. K. , and Wazid , M. 2018. Authenticated Key Agreement Scheme for Smart Grid. J. IEEE Transactions on Smart Grid. 9( Mar. 201 8), 1900 -- 1910 . Odelu, V., Das, A. K., and Wazid, M. 2018. Authenticated Key Agreement Scheme for Smart Grid. J. IEEE Transactions on Smart Grid. 9(Mar. 2018), 1900--1910.","journal-title":"Mar."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"Yang Z. and Lai J. 2018. New constructions for (multiparty) one-round key exchange with strong security. J. Science China Information Sciences. 61(May. 2018).  Yang Z. and Lai J. 2018. New constructions for (multiparty) one-round key exchange with strong security. J. Science China Information Sciences. 61(May. 2018).","DOI":"10.1007\/s11432-017-9177-7"},{"key":"e_1_3_2_1_19_1","volume-title":"Efficient and Provable-Secure Certificateless Public Key Cryptosystems and its Application","author":"Guo R.","year":"2014","unstructured":"Guo , R. 2014. Efficient and Provable-Secure Certificateless Public Key Cryptosystems and its Application . D. Beijing University of Posts and Telecommunication . 24( Apr. 2014 ), 13--14. Guo, R. 2014. Efficient and Provable-Secure Certificateless Public Key Cryptosystems and its Application. D. Beijing University of Posts and Telecommunication. 24(Apr. 2014), 13--14."},{"key":"e_1_3_2_1_20_1","volume":"3","author":"Hou H. F.","unstructured":"Hou , H. F. , and Wang , Y.X. 2011. Provable Secure Authentication Protocol Based on CPK and Improved ECDH Algorithm. J. Computer Science. 3 8(Sept. 2011), 55--58. Hou, H. F., and Wang, Y.X. 2011. Provable Secure Authentication Protocol Based on CPK and Improved ECDH Algorithm. J. Computer Science. 38(Sept. 2011), 55--58.","journal-title":"Improved ECDH Algorithm. J. Computer Science."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Bao F. Deng R.H. and Zhu H. F. 2003. Variations of Diffie-Hellman Problem. Information & Communications Security International Conferenc ICICS. Huhehaote. China. (Sept. 2003).  Bao F. Deng R.H. and Zhu H. F. 2003. Variations of Diffie-Hellman Problem. Information & Communications Security International Conferenc ICICS. Huhehaote. China. (Sept. 2003).","DOI":"10.1007\/978-3-540-39927-8_28"},{"key":"e_1_3_2_1_22_1","first-page":"90","volume":"3","author":"Zhang H.G.","unstructured":"Zhang , H.G. , Wu , F.S. , Wang H.Z. , and Wang , Z.Y. 2017.A Survey : Security Verification Analysis of Cryptographic Protocols Implementations On Real Code. J. Chinese Journal of Computers. 3 8(Jan. 2018), 90 -- 94 . Zhang, H.G., Wu, F.S., Wang H.Z., and Wang, Z.Y. 2017.A Survey: Security Verification Analysis of Cryptographic Protocols Implementations On Real Code. J. Chinese Journal of Computers. 38(Jan. 2018), 90--94.","journal-title":"Computers."}],"event":{"name":"ICMAI 2019: 2019 4th International Conference on Mathematics and Artificial Intelligence","sponsor":["Southwest Jiaotong University","Xihua University Xihua University"],"location":"Chegndu China","acronym":"ICMAI 2019"},"container-title":["Proceedings of the 2019 4th International Conference on Mathematics and Artificial Intelligence"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3325730.3325750","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3325730.3325750","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:54:22Z","timestamp":1750204462000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3325730.3325750"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,12]]},"references-count":22,"alternative-id":["10.1145\/3325730.3325750","10.1145\/3325730"],"URL":"https:\/\/doi.org\/10.1145\/3325730.3325750","relation":{},"subject":[],"published":{"date-parts":[[2019,4,12]]},"assertion":[{"value":"2019-04-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}