{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T13:41:54Z","timestamp":1777902114720,"version":"3.51.4"},"reference-count":36,"publisher":"SAGE Publications","issue":"5","license":[{"start":{"date-parts":[[2006,5,1]],"date-time":"2006-05-01T00:00:00Z","timestamp":1146441600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIMULATION"],"published-print":{"date-parts":[[2006,5]]},"abstract":"<jats:p>This article presents a new verification and validation technique for simulation using dynamic policy specification and enforcement. Security requirements, certain functional requirements, and constraints can be formally specified as policies, and they are used to check at runtime whether the behaviors of the system under simulation are within the given constraints. A policy violation reveals a potential design error of the system under simulation. This article also presents the policy specification language and the policy development framework that are used to specify policies, to verify their completeness and consistency of policies, to translate them into executable representations, and to enforce them at runtime. The policy specification language and the policy development framework are fully integrated into the simulation infrastructure. An example is used throughout the article to illustrate the policy specification and enforcement processes. The article discusses different algorithms of policy enforcement and their space and time complexity.<\/jats:p>","DOI":"10.1177\/0037549706068828","type":"journal-article","created":{"date-parts":[[2006,9,13]],"date-time":"2006-09-13T09:45:14Z","timestamp":1158140714000},"page":"295-310","source":"Crossref","is-referenced-by-count":9,"title":["Simulation Verification and Validation by Dynamic Policy Specification and Enforcement"],"prefix":"10.1177","volume":"82","author":[{"given":"W. T.","family":"Tsai","sequence":"first","affiliation":[{"name":"Computer Science and Engineering Department Arizona State University                         Tempe, AZ 85281"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yinong","family":"Chen","sequence":"additional","affiliation":[{"name":"Computer Science and Engineering Department Arizona State University                         Tempe, AZ 85281,"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ray","family":"Paul","sequence":"additional","affiliation":[{"name":"Department of Defense Washington, DC"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xinyu","family":"Zhou","sequence":"additional","affiliation":[{"name":"Computer Science and Engineering Department Arizona State University                         Tempe, AZ 85281"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chun","family":"Fan","sequence":"additional","affiliation":[{"name":"Computer Science and Engineering Department Arizona State University                         Tempe, AZ 85281"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2006,5,1]]},"reference":[{"key":"atypb1","doi-asserted-by":"publisher","DOI":"10.1201\/9780203496466"},{"key":"atypb2","first-page":"135","volume-title":"Proceedings of the 1997 Winter Simulation Conference","author":"Balci, O."},{"key":"atypb3","unstructured":"Defense Modeling and Simulation Office Foundation 02 V&V Workshop. http:\/\/www.dmso.mil\/public\/transition\/vva\/foundations"},{"key":"atypb4","volume-title":"Simulation modeling and analysis","author":"Law, A. M.","year":"2000","edition":"3"},{"key":"atypb5","first-page":"1017","volume-title":"Proceedings of the 1998 Winter Simulation Conference","author":"Nayani, N."},{"key":"atypb6","volume-title":"Proceedings of DARPA Information Survivability Conference and Exposition","author":"Burns, J."},{"key":"atypb7","volume-title":"BizTalk Server Policy","year":"2002"},{"key":"atypb8","volume-title":"The KeyNote trust-management system","author":"Blaze, M.","year":"1999"},{"key":"atypb9","volume-title":"Proceedings of the DARPA Information Survivability Conference and Exposition","author":"Branstad, D."},{"key":"atypb10","volume-title":"Proceedings of Workshop on Policies for Distributed Systems and Networks","author":"Damianou, N."},{"key":"atypb11","volume-title":"A survey of policy specification approaches","author":"Damianou, N.","year":"2002"},{"key":"atypb12","volume-title":"Security policy specification using a graphical approach","author":"Hoagland, J.","year":"1998"},{"key":"atypb13","unstructured":"Java policy implementation and policy file syntax. http:\/\/java.sun.com\/j2se\/1.4.2\/docs\/guide\/security\/PolicyFiles.html"},{"key":"atypb14","volume-title":"Rei: A policy language for the Me-Centric Project","author":"Kagal, L.","year":"2002"},{"key":"atypb15","volume-title":"Policy specification languages","author":"Kangasluoma, M.","year":"1999"},{"key":"atypb16","volume-title":"SPCL: Structured policy command language","author":"Locasto, M.","year":"2003"},{"key":"atypb17","volume-title":"Security in computing","author":"Pfleeger, C.","year":"2003","edition":"3"},{"key":"atypb18","volume-title":"Proceedings of the DARPA Information Survivability Conference and Exposition","author":"Ryutov, T."},{"key":"atypb19","volume-title":"Proceedings of the DARPA Information Survivability Conference and Exposition","author":"Tung, B."},{"key":"atypb20","volume-title":"Proceedings of the W3C Workshop on Constraints and Capabilities for Web Services","author":"Patwardhan"},{"key":"atypb21","volume-title":"Proceedings of the 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY\u201904)","author":"Anderson, Anne."},{"key":"atypb22","unstructured":"IBM, BEA Systems, Microsoft, SAP AG, Sonic Software, and VeriSign. Web                 service policy framework. http:\/\/www-128.ibm.com\/developerworks\/library\/specification\/ws-polfram\/"},{"key":"atypb23","volume-title":"Model checking","author":"Clarke, E.","year":"2002"},{"key":"atypb24","first-page":"151","volume-title":"IEEE International Workshop on Service-Oriented System Engineering (SOSE)","author":"Tsai, W. T."},{"key":"atypb25","first-page":"160","volume-title":"7th International Symposium on Autonomous Decentralized Systems (ISADS)","author":"Tsai, W. T."},{"key":"atypb26","first-page":"91","volume-title":"38th Annual Simulation Symposium","author":"Tsai, W. T."},{"key":"atypb27","doi-asserted-by":"publisher","DOI":"10.21236\/ADA023588"},{"key":"atypb28","doi-asserted-by":"publisher","DOI":"10.1109\/2.485845"},{"key":"atypb29","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-4048(03)00609-6"},{"key":"atypb30","doi-asserted-by":"publisher","DOI":"10.1145\/354876.354878"},{"key":"atypb31","doi-asserted-by":"publisher","DOI":"10.17487\/rfc3060"},{"key":"atypb32","first-page":"160","volume-title":"Proceedings of the 39th Annual Simulation Symposium (ANSS)","author":"Tsai, W. T."},{"key":"atypb33","unstructured":"IEEE. 2000. IEEE Std 1516.1-2000: IEEE standard for modeling and simulation                 (M&S) High Level Architecture (HLA)\u2014federate interface specification."},{"key":"atypb34","unstructured":"IEEE. 2000. IEEE Std 1516.2-2000: IEEE standard for modeling and simulation                 (M&S) High Level Architecture (HLA)\u2014object model template (OMT) specification."},{"key":"atypb35","unstructured":"IEEE. 2000. IEEE Std 1516-2000: IEEE standard for modeling and simulation                 (M&S) High Level Architecture (HLA)\u2014framework and rules."},{"key":"atypb36","unstructured":"LUA programming language. www.lua.org\/"}],"container-title":["SIMULATION"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0037549706068828","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0037549706068828","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T11:19:45Z","timestamp":1777634385000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/0037549706068828"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,5]]},"references-count":36,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2006,5]]}},"alternative-id":["10.1177\/0037549706068828"],"URL":"https:\/\/doi.org\/10.1177\/0037549706068828","relation":{},"ISSN":["0037-5497","1741-3133"],"issn-type":[{"value":"0037-5497","type":"print"},{"value":"1741-3133","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,5]]}}}