{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:16:03Z","timestamp":1750220163095,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,9,23]],"date-time":"2022-09-23T00:00:00Z","timestamp":1663891200000},"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":[[2022,9,23]]},"DOI":"10.1145\/3558819.3558826","type":"proceedings-article","created":{"date-parts":[[2022,10,27]],"date-time":"2022-10-27T01:37:33Z","timestamp":1666834653000},"page":"35-43","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Specifying and Verifying SDP Protocol Based Zero Trust Architecture Using TLA+"],"prefix":"10.1145","author":[{"given":"Luming","family":"Dong","sequence":"first","affiliation":[{"name":"ZTE Corporation, China and \rState Key Laboratory of Mobile Network and Mobile Multimedia Technology, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhi","family":"Niu","sequence":"additional","affiliation":[{"name":"ZTE Corporation, China and \rState Key Laboratory of Mobile Network and Mobile Multimedia Technology, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yong","family":"Zhu","sequence":"additional","affiliation":[{"name":"ZTE Corporation, China and \rState Key Laboratory of Mobile Network and Mobile Multimedia Technology, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Zhang","sequence":"additional","affiliation":[{"name":"ZTE Corporation, China and \rState Key Laboratory of Mobile Network and Mobile Multimedia Technology, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Scott Rose Oliver Borchert Stu Mitchell Sean Connelly. NIST Special Publication 800-207: Zero Trust Architecture: 9-12. https:\/\/nvlpubs.nist.gov\/nistpubs\/SpecialPublications\/NIST.SP.800-207.pdf  Scott Rose Oliver Borchert Stu Mitchell Sean Connelly. NIST Special Publication 800-207: Zero Trust Architecture: 9-12. https:\/\/nvlpubs.nist.gov\/nistpubs\/SpecialPublications\/NIST.SP.800-207.pdf"},{"key":"e_1_3_2_1_2_1","unstructured":"Cloud Security Alliance (CSA). Software-Defined Perimeter (SDP) Specification 1. 0. https:\/\/cloudsecurityalliance.org\/artifacts\/sdp-specification-v10\/  Cloud Security Alliance (CSA). Software-Defined Perimeter (SDP) Specification 1. 0. https:\/\/cloudsecurityalliance.org\/artifacts\/sdp-specification-v10\/"},{"volume-title":"ISSN 1044-6397","author":"Ward Rory","key":"e_1_3_2_1_3_1","unstructured":"Rory Ward , Betsy Beyer . BeyondCorp: A New Approach to Enterprise Security. The magazine of USENIX & SAGE , ISSN 1044-6397 , Vol. 39 , No. 6, 2014 (Issue dedicated to: Security ), pages 6-11. https:\/\/research.google\/pubs\/pub43231\/ Rory Ward, Betsy Beyer. BeyondCorp: A New Approach to Enterprise Security. The magazine of USENIX & SAGE, ISSN 1044-6397, Vol. 39, No. 6, 2014 (Issue dedicated to: Security ), pages 6-11. https:\/\/research.google\/pubs\/pub43231\/"},{"key":"e_1_3_2_1_4_1","unstructured":"fwknop: Single Packet Authorization >Port Knocking. https:\/\/www.cipherdyne.org\/fwknop\/  fwknop: Single Packet Authorization >Port Knocking. https:\/\/www.cipherdyne.org\/fwknop\/"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/MNET.2019.1800324"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/CJECE.2020.3005316"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/NFV-SDN53031.2021.9665152"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2939780"},{"key":"e_1_3_2_1_9_1","first-page":"192","volume-title":"2021 31st International Telecommunication Networks and Applications Conference (ITNAC)","author":"Gregory M. A.","year":"2021","unstructured":"Ali, M. A. Gregory and S. Li .: Uplifting Healthcare Cyber Resilience with a Multi-access Edge Computing Zero-Trust Security Model . 2021 31st International Telecommunication Networks and Applications Conference (ITNAC) , 2021 , pp. 192 - 197 Ali, M. A. Gregory and S. Li.: Uplifting Healthcare Cyber Resilience with a Multi-access Edge Computing Zero-Trust Security Model. 2021 31st International Telecommunication Networks and Applications Conference (ITNAC), 2021, pp. 192-197"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCGrid51090.2021.00089"},{"key":"e_1_3_2_1_11_1","volume-title":"Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers","author":"Lamport","year":"2002","unstructured":"Lamport L. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers . Boston : Addison-Wesley Longman Publishing Co. , Inc. , 2002 Lamport L. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Boston: Addison-Wesley Longman Publishing Co. , Inc. , 2002"},{"key":"e_1_3_2_1_12_1","volume-title":"Current Versions of the TLA+ Tools","author":"Lamport","year":"2021","unstructured":"Lamport L. Current Versions of the TLA+ Tools , 5 August 2021 . https:\/\/lamport.azurewebsites.net\/tla\/current-tools.pdf. Lamport L. Current Versions of the TLA+ Tools, 5 August 2021. https:\/\/lamport.azurewebsites.net\/tla\/current-tools.pdf."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1109\/KSE.2016.7758031","volume-title":"2016 Eighth International Conference on Knowledge and Systems Engineering (KSE)","author":"Le Duc Minh","year":"2016","unstructured":"Duc Minh Le , Duc-Hanh Dang and VietHa Nguyen . : Domain driven design using meta-attributes: A DSL-based approach . 2016 Eighth International Conference on Knowledge and Systems Engineering (KSE) , 2016 , pp. 67 - 72 . Duc Minh Le, Duc-Hanh Dang and VietHa Nguyen.: Domain driven design using meta-attributes: A DSL-based approach. 2016 Eighth International Conference on Knowledge and Systems Engineering (KSE), 2016, pp. 67-72."},{"key":"e_1_3_2_1_14_1","unstructured":"TLA+ Spec of SDP architecture and algorithm written by Dong Luming. https:\/\/github.com\/10227694\/SDP_Verification.  TLA+ Spec of SDP architecture and algorithm written by Dong Luming. https:\/\/github.com\/10227694\/SDP_Verification."}],"event":{"name":"ICCSIE2022: 7th International Conference on Cyber Security and Information Engineering","acronym":"ICCSIE2022","location":"Brisbane QLD Australia"},"container-title":["Proceedings of the 7th International Conference on Cyber Security and Information Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3558819.3558826","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3558819.3558826","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:00:28Z","timestamp":1750186828000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3558819.3558826"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,23]]},"references-count":14,"alternative-id":["10.1145\/3558819.3558826","10.1145\/3558819"],"URL":"https:\/\/doi.org\/10.1145\/3558819.3558826","relation":{},"subject":[],"published":{"date-parts":[[2022,9,23]]},"assertion":[{"value":"2022-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}