{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:28:47Z","timestamp":1750220927679,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T00:00:00Z","timestamp":1559088000000},"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,5,29]]},"DOI":"10.1145\/3316480.3325519","type":"proceedings-article","created":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T12:37:16Z","timestamp":1559306236000},"page":"49-60","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Simulation-based Analysis of Network Rules Matching"],"prefix":"10.1145","author":[{"given":"David M.","family":"Nicol","sequence":"first","affiliation":[{"name":"University of Illinois at Urbana-Champaign & Network Perception, Urbana, IL, USA"}]}],"member":"320","published-online":{"date-parts":[[2019,5,29]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2004.4623689"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11907466_16"},{"key":"e_1_3_2_1_3_1","unstructured":"A.A.A. Donovan and B.W. Kernighan. 2015. The Go Programming Language .Pearson Education. https:\/\/books.google.com.sg\/books?id=SJHvCgAAQBAJ   A.A.A. Donovan and B.W. Kernighan. 2015. The Go Programming Language .Pearson Education. https:\/\/books.google.com.sg\/books?id=SJHvCgAAQBAJ"},{"key":"e_1_3_2_1_4_1","unstructured":"Robert P. Evans. {n. d.}. Process Control System Cyber Security Standards - An Overview. ({n. d.}).  Robert P. Evans. {n. d.}. Process Control System Cyber Security Standards - An Overview. ({n. d.})."},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the 2Nd Conference on Symposium on Networked Systems Design & Implementation -","volume":"2","author":"Feamster Nick","year":"2005","unstructured":"Nick Feamster and Hari Balakrishnan . 2005 . Detecting BGP Configuration Faults with Static Analysis . In Proceedings of the 2Nd Conference on Symposium on Networked Systems Design & Implementation - Volume 2 (NSDI'05). USENIX Association, Berkeley, CA, USA, 43--56. http:\/\/dl.acm.org\/citation.cfm?id=1251203.1251207 Nick Feamster and Hari Balakrishnan. 2005. Detecting BGP Configuration Faults with Static Analysis. In Proceedings of the 2Nd Conference on Symposium on Networked Systems Design & Implementation - Volume 2 (NSDI'05). USENIX Association, Berkeley, CA, USA, 43--56. http:\/\/dl.acm.org\/citation.cfm?id=1251203.1251207"},{"key":"e_1_3_2_1_6_1","volume-title":"Security Goals: Packet Trajectories and Strand Spaces. In Foundations of Security Analysis and Design","author":"Guttman Joshua D.","year":"2001","unstructured":"Joshua D. Guttman . 2001 . Security Goals: Packet Trajectories and Strand Spaces. In Foundations of Security Analysis and Design , Riccardo Focardi and Roberto Gorrieri (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 197--261. Joshua D. Guttman. 2001. Security Goals: Packet Trajectories and Strand Spaces. In Foundations of Security Analysis and Design, Riccardo Focardi and Roberto Gorrieri (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 197--261."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2009.32"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 9th USENIX Conference on Networked Systems Design and Implementation (NSDI'12)","author":"Kazemian Peyman","year":"2012","unstructured":"Peyman Kazemian , George Varghese , and Nick McKeown . 2012 . Header Space Analysis: Static Checking for Networks . In Proceedings of the 9th USENIX Conference on Networked Systems Design and Implementation (NSDI'12) . USENIX Association, Berkeley, CA, USA, 9--9. http:\/\/dl.acm.org\/citation.cfm?id=2228298.2228311 Peyman Kazemian, George Varghese, and Nick McKeown. 2012. Header Space Analysis: Static Checking for Networks. In Proceedings of the 9th USENIX Conference on Networked Systems Design and Implementation (NSDI'12). USENIX Association, Berkeley, CA, USA, 9--9. http:\/\/dl.acm.org\/citation.cfm?id=2228298.2228311"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2018436.2018470"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(84)90020-5"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings IEEE 24th Annual Joint Conference of the IEEE Computer and Communications Societies.","volume":"3","author":"Xie G. G.","unstructured":"G. G. Xie , , D. A. Maltz , A. Greenberg , G. Hjalmtysson , and J. Rexford . 2005. On static reachability analysis of IP networks . In Proceedings IEEE 24th Annual Joint Conference of the IEEE Computer and Communications Societies. , Vol. 3 . 2170--2183 vol. 3. G. G. Xie, , D. A. Maltz, A. Greenberg, G. Hjalmtysson, and J. Rexford. 2005. On static reachability analysis of IP networks. In Proceedings IEEE 24th Annual Joint Conference of the IEEE Computer and Communications Societies., Vol. 3. 2170--2183 vol. 3."}],"event":{"name":"SIGSIM-PADS '19: SIGSIM Principles of Advanced Discrete Simulation","sponsor":["SIGSIM ACM Special Interest Group on Simulation and Modeling"],"location":"Chicago IL USA","acronym":"SIGSIM-PADS '19"},"container-title":["Proceedings of the 2019 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3316480.3325519","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3316480.3325519","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:16Z","timestamp":1750204396000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3316480.3325519"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5,29]]},"references-count":11,"alternative-id":["10.1145\/3316480.3325519","10.1145\/3316480"],"URL":"https:\/\/doi.org\/10.1145\/3316480.3325519","relation":{},"subject":[],"published":{"date-parts":[[2019,5,29]]},"assertion":[{"value":"2019-05-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}