{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:17:15Z","timestamp":1755998235350,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":10,"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.3558821","type":"proceedings-article","created":{"date-parts":[[2022,10,27]],"date-time":"2022-10-27T01:37:33Z","timestamp":1666834653000},"page":"8-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["The Runtime model checking Method for Zero Trust Security Policy"],"prefix":"10.1145","author":[{"given":"Zhi","family":"Niu","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":"Luming","family":"Dong","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"}]}],"member":"320","published-online":{"date-parts":[[2022,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"6","article-title":"a new approach to enterprise security","volume":"39","author":"Ward","year":"2014","unstructured":"Ward R, Beyer B. Beyondcorp : a new approach to enterprise security . Login the Magazine of Usenix & Sage , 2014 , 39 : 6 - 11 . Ward R, Beyer B. Beyondcorp: a new approach to enterprise security. Login the Magazine of Usenix & Sage, 2014, 39:6-11.","journal-title":"Login the Magazine of Usenix & Sage"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/501978.501980"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_26"},{"key":"e_1_3_2_1_4_1","first-page":"1312","article-title":"Verification of the Zab Protocol with TLA.","volume":"2020","author":"Yin JiaQi","unstructured":"JiaQi Yin , HuiBiao Zhu , Specification and Verification of the Zab Protocol with TLA. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY , 2020 ,35(6): 1312 - 1323 . JiaQi Yin, HuiBiao Zhu, Specification and Verification of the Zab Protocol with TLA.JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY,2020,35(6):1312-1323.","journal-title":"JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.icte.2019.07.002"},{"volume-title":"Semantic-based Automated Reasoning for AWS Access Policies using SMT\/\/IEEE.2018 Formal Methods in Computer Aided Design,30 Oct-2 Nov,2018,Austin,TX,USA.NJ:IEEE,2018:9","author":"Backes John","key":"e_1_3_2_1_6_1","unstructured":"John Backes , Pauline Bolignano , Byron Cook , Semantic-based Automated Reasoning for AWS Access Policies using SMT\/\/IEEE.2018 Formal Methods in Computer Aided Design,30 Oct-2 Nov,2018,Austin,TX,USA.NJ:IEEE,2018:9 pp. John Backes, Pauline Bolignano, Byron Cook, Semantic-based Automated Reasoning for AWS Access Policies using SMT\/\/IEEE.2018 Formal Methods in Computer Aided Design,30 Oct-2 Nov,2018,Austin,TX,USA.NJ:IEEE,2018:9 pp."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Jeffrey Samak T.model checking Firewall Policy Configurations\/\/IEEE.IEEE International Symposium on Policies for Distributed Systems and Networks JUL 20-22 2009 London ENGLAND.NEW YORK:IEEE 2009:60-+.  Jeffrey Samak T.model checking Firewall Policy Configurations\/\/IEEE.IEEE International Symposium on Policies for Distributed Systems and Networks JUL 20-22 2009 London ENGLAND.NEW YORK:IEEE 2009:60-+.","DOI":"10.1109\/POLICY.2009.32"},{"key":"e_1_3_2_1_8_1","first-page":"136","volume-title":"Proc. The 21st Int. Symposiumon Formal Methods","author":"YA","year":"2016","unstructured":"ChandS, Liu YA , StollerSD. Formal verification of Multi\u00adPaxos for distributed consensus . In Proc. The 21st Int. Symposiumon Formal Methods , November 2016 , pp. 119\u00ad 136 . ChandS, LiuYA, StollerSD. Formal verification of Multi\u00adPaxos for distributed consensus. In Proc. The 21st Int. Symposiumon Formal Methods, November 2016, pp. 119\u00ad136."},{"key":"e_1_3_2_1_9_1","first-page":"165","volume-title":"5th ACMSIGPLAN Conference on Certified Programs and Proofs, Jan.2016","author":"Wilcox R.","unstructured":"DougWoos, James R. Wilcox . Planning for change in a formal verification of the Raft consensus protocol . 5th ACMSIGPLAN Conference on Certified Programs and Proofs, Jan.2016 , pp.154\u00ad 165 . DougWoos, JamesR. Wilcox. Planning for change in a formal verification of the Raft consensus protocol. 5th ACMSIGPLAN Conference on Certified Programs and Proofs, Jan.2016, pp.154\u00ad165."},{"key":"e_1_3_2_1_10_1","unstructured":"Jordan Halterman. TLA+ Conformance Monitoring Tools. https:\/\/github.com\/onosproject\/tlaplus\u00admonitor 2020.  Jordan Halterman. TLA+ Conformance Monitoring Tools. https:\/\/github.com\/onosproject\/tlaplus\u00admonitor 2020."}],"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.3558821","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3558819.3558821","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.3558821"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,23]]},"references-count":10,"alternative-id":["10.1145\/3558819.3558821","10.1145\/3558819"],"URL":"https:\/\/doi.org\/10.1145\/3558819.3558821","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"}}]}}