{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:20:16Z","timestamp":1742912416857,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":22,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811618765"},{"type":"electronic","value":"9789811618772"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-981-16-1877-2_12","type":"book-chapter","created":{"date-parts":[[2021,4,8]],"date-time":"2021-04-08T06:03:53Z","timestamp":1617861833000},"page":"172-184","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Deriving Security Protocols Based on Protocol Derivation System"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6441-2309","authenticated-orcid":false,"given":"Ke","family":"Yang","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2717-7060","authenticated-orcid":false,"given":"Meihua","family":"Xiao","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9344-4230","authenticated-orcid":false,"given":"Zifan","family":"Song","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6086-8640","authenticated-orcid":false,"given":"Ri","family":"Ouyang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,4,9]]},"reference":[{"issue":"10","key":"12_CR1","first-page":"1740","volume":"14","author":"Q Sihan","year":"2000","unstructured":"Sihan, Q.: Twenty years development of security protocols research. J. Software 14(10), 1740\u20131752 (2000)","journal-title":"J. Software"},{"issue":"04","key":"12_CR2","first-page":"202","volume":"44","author":"L Yong","year":"2017","unstructured":"Yong, L., Fan, Z., Ming, Z.: Survey on security protocol space information network. Comput. Sci. 44(04), 202\u2013206 (2017)","journal-title":"Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"Lowe, G.: Breaking and fixing the Needham-Schroder public-key protocol using FDR. In: Proceeding of TACAS, LNCS 1055, Spring, pp. 147\u2013166 (1996)","key":"12_CR3","DOI":"10.1007\/3-540-61042-1_43"},{"issue":"1","key":"12_CR4","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s00165-012-0269-9","volume":"26","author":"M Avalle","year":"2014","unstructured":"Avalle, M., Pironti, A., Sisto, R.: Formal verification of security protocol implementations: a survey. Formal Aspects of Comput. 26(1), 99\u2013123 (2014)","journal-title":"Formal Aspects of Comput."},{"unstructured":"Jian, W., Naijun, Z., Fen, X., Liu, Z.: Overview of formal methods. J. Software, 30(01), 33\u201361 (2019)","key":"12_CR5"},{"doi-asserted-by":"crossref","unstructured":"Agray, N., Wiebe, V.D.H., De Vink, E.: On BAN logics for industrial security protocols. In: International Workshop of Central and Eastern Europe on Multi-Agent Systems. Springer, Berlin (2001)","key":"12_CR6","DOI":"10.1007\/3-540-45941-3_3"},{"doi-asserted-by":"crossref","unstructured":"Hess, A.V., Sebastian, M.: Formalizing and proving a typing result for security protocols in Isabelle\/HOL. In: 2017 IEEE 30th Computer Security Foundations Symposium (CSF). IEEE (2017)","key":"12_CR7","DOI":"10.1109\/CSF.2017.27"},{"key":"12_CR8","first-page":"727","volume-title":"Handbook of Model Checking- Model Checking Security Protocols","author":"D Basin","year":"2018","unstructured":"Basin, D., Cremers, C., Meadows, C.: Handbook of Model Checking- Model Checking Security Protocols, pp. 727\u2013762. Springer, Cham (2018)"},{"key":"12_CR9","volume-title":"\u201cProtocol Composition Logic (PCL)\u201d, Electronic Notes in Theoretical Computer Science","author":"A Datta","year":"2007","unstructured":"Datta, A., Derek, A., Mitchell, J.C., Roy, A.: \u201cProtocol Composition Logic (PCL)\u201d, Electronic Notes in Theoretical Computer Science. Gordon D, Plotkin Festschrift (2007)"},{"unstructured":"Derek, A.: Formal analysis of security protocols: protocol composition logic, Ph.D. Dissertation, Stanford University (2007)","key":"12_CR10"},{"issue":"3","key":"12_CR11","doi-asserted-by":"publisher","first-page":"423","DOI":"10.3233\/JCS-2005-13304","volume":"13","author":"A Datta","year":"2005","unstructured":"Datta, A., Derek, A., Mitchell, J.C., Pavlovic, D.: A derivation system and compositional logic for security protocols. J. Comput. Security 13(3), 423\u2013482 (2005)","journal-title":"J. Comput. Security"},{"doi-asserted-by":"crossref","unstructured":"Roy, A., Datta, A., Derek, A., Mitchell, J.C., Seifert, J.-P.: Secrecy analysis in protocol composition logic. In: Formal Logical Methods for System Security and Correctness, IOS Press (2008)","key":"12_CR12","DOI":"10.1007\/978-3-540-77505-8_15"},{"unstructured":"Datta, A., Anupam, et al.: Computationally sound compositional logic for key exchange protocols. In: 19th IEEE Computer Security Foundations Workshop (CSFW 2006), IEEE (2006)","key":"12_CR13"},{"issue":"08","key":"12_CR14","first-page":"94","volume":"39","author":"X Li","year":"2018","unstructured":"Li, X., Zhang, J., Ma, J.: UCAP: a PCL secure user authentication protocol in cloud computing. J. Commun. 39(08), 94\u2013105 (2018)","journal-title":"J. Commun."},{"issue":"10","key":"12_CR15","first-page":"2376","volume":"53","author":"X Li","year":"2016","unstructured":"Li, X., Zhang, J., Ma, J., Hai, L.: TSNP: a novel PCL-Secure and efficient group authentication protocol in space information network. J. Comput. Res. Dev. 53(10), 2376\u20132392 (2016)","journal-title":"J. Comput. Res. Dev."},{"doi-asserted-by":"crossref","unstructured":"Cremers, C.: On the protocol composition logic PCL. In: Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security (2008)","key":"12_CR16","DOI":"10.1145\/1368310.1368324"},{"unstructured":"Zhang, J., Yang, C., Ma, J.: Protocol derivation system for the Needham-Schroeder family. In: 2011 6th International ICST Conference on Communications and Networking in China (CHINACOM), pp. 836\u2013840 (2011)","key":"12_CR17"},{"key":"12_CR18","doi-asserted-by":"publisher","first-page":"2687","DOI":"10.1002\/sec.565","volume":"8","author":"J Zhang","year":"2015","unstructured":"Zhang, J., Ma, J., Chao, Y.: Protocol derivation system for the needham-schroeder family. Secur. Commun. Netw. 8, 2687\u20132703 (2015)","journal-title":"Secur. Commun. Netw."},{"unstructured":"Lu, L.: Study on theory and applications of security protocols formal analysis, Ph.D. Dissertation, Xidian University (2012)","key":"12_CR19"},{"doi-asserted-by":"crossref","unstructured":"Diffie, W., Hellman, M.E.: New directions in cryptography. IEEE Trans. Inf. Theory, IT-22(6), 644\u2013654 (1976)","key":"12_CR20","DOI":"10.1109\/TIT.1976.1055638"},{"unstructured":"Datta, A., Mitchell, J.C., Pavlovic, D.: Derivation of the JFK protocol, Technical Report KES.U.02.03, Kestrel Institute (2002)","key":"12_CR21"},{"issue":"1","key":"12_CR22","first-page":"250","volume":"33","author":"L Lu","year":"2012","unstructured":"Lu, L., Duan, X., Ma, J.: Improvement and formal proof on protocol Otway-Rees. J. Commun. 33(1), 250\u2013254 (2012)","journal-title":"J. Commun."}],"container-title":["Communications in Computer and Information Science","Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-16-1877-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,23]],"date-time":"2022-12-23T19:33:02Z","timestamp":1671823982000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-16-1877-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9789811618765","9789811618772"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-981-16-1877-2_12","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"9 April 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NCTCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"National Conference of Theoretical Computer Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Nanning","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 November 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 November 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nctcs2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"https:\/\/conf.ccf.org.cn\/TCS2020","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"28","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"13","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"46% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3-5","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3-5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}