Simulation Verification and Validation by Dynamic Policy Specification and Enforcement

Simulation

Volumn 82, Issue 5, 2006, Pages 295-310

  Tsai, W T ^a   Chen, Yinong ^a   Zhou, Xinyu ^a   Fan, Chun ^a   Paul, Ray ^b  

^a Arizona State University   (United States)

^b ARMED FORCES INSTITUTE OF PATHOLOGY   (United States)

Author keywords

Distributed simulation; dynamic policy enforcement; policy based computing; verification and validation

Indexed keywords

ALGORITHMS; COMPUTATION THEORY; COMPUTER SIMULATION LANGUAGES;

DYNAMIC POLICY ENFORCEMENT; POLICY-BASED COMPUTING; VALIDATION; VERIFICATION;

COMPUTER SIMULATION;

EID: 33748513673     PISSN: 00375497     EISSN: None     Source Type: Journal    
DOI: 10.1177/0037549706068828     Document Type: Article

References (36)

1. Chung, C. A. 2003. Simulation modeling handbook: A practical approach. New York: CRC Press.
2. Balci, O. 1997. Verification, validation, and accreditation of simulation models. In Proceedings of the 1997 Winter Simulation Conference, pp. 135-141.
3. Defense Modeling and Simulation Office Foundation 02 V&V Workshop. http://www.dmso.mil/public/transition/vva/foundations
4. Law, A. M., and D. W. Kelton. 2000. Simulation modeling and analysis. 3rd ed. New York: McGraw-Hill.
5. Nayani, N., and M. Mollaghasemi. 1998. Validation and verification of the simulation model of a photolithography process in semiconductor manufacturing. In Proceedings of the 1998 Winter Simulation Conference, pp. 1017-1022.
6. Burns, J., and D. M. Martin. 2001. Automatic management of network security policy. In Proceedings of DARPA Information Survivability Conference and Exposition, June.
7. BizTalk Server Policy. 2002. http://msdn.microsoft.com/library/default.asp?url=/library/en-us/sdk/htm/ebiz_prog_rules_xxxf.asp
8. Blaze, M. 1999. The KeyNote trust-management system. RFC 2704.
9. Branstad, D. 2000. Policy-based cryptographic key management: Experience with the KRP project. In Proceedings of the DARPA Information Survivability Conference and Exposition.
10. Damianou, N., N. Dulay, E. Lupu, and M. Sloman. 2001. The Ponder policy specification language. In Proceedings of Workshop on Policies for Distributed Systems and Networks.
11. Damianou, N., A. Bandara, M. Sloman, and E. Lupu. 2002. A survey of policy specification approaches. Technical report, Department of Computing at Imperial College of Science Technology and Medicine.
12. Hoagland, J., R. Pandey, and K. Levitt. 1998. Security policy specification using a graphical approach. Technical report, Department of Computer Science at University of California, Davis, July.
13. Java policy implementation and policy file syntax. http://java.sun.com/j2se/1.4.2/docs/guide/security/PolicyFiles.html
14. Kagal, L. 2002. Rei: A policy language for the Me-Centric Project. Technical report, HP Laboratories.
15. Kangasluoma, M. 1999. Policy specification languages. Technical report, Department of Computer Science at Helsinki University of Technology, November.
16. Locasto, M. 2003. SPCL: Structured policy command language. Technical report, Department of Computer Science at Columbia University, May.
17. Pfleeger, C. 2003. Security in computing. 3rd ed. Englewood Cliffs, NJ: Prentice Hall.
18. Ryutov, T. 2000. Representation and evaluation of security policies for distributed system services. In Proceedings of the DARPA Information Survivability Conference and Exposition.
19. Tung, B. 2000. The common intrusion specification language: A retrospective. In Proceedings of the DARPA Information Survivability Conference and Exposition.
20. Patwardhan, Anand, Vlad Korolev, Lalana Kagal, and Anupam Joshi. 2004. Declarative policies for describing Web service capabilities and constraints. In Proceedings of the W3C Workshop on Constraints and Capabilities for Web Services, October.
21. Anderson, Anne. 2004. An introduction to the Web services policy language (WSPL). In Proceedings of the 5th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY’04).
22. IBM, BEA Systems, Microsoft, SAP AG, Sonic Software, and VeriSign. Web service policy framework. http://www-128.ibm.com/developerworks/library/specification/ws-polfram/
23. Clarke, E., O. Grumberg, and D. Peled. 2002. Model checking. Cambridge, MA: MIT Press.
24. Tsai, W. T., X. Wei, and Y. Chen. 2005. A robust testing framework for verifying Web services by completeness and consistency analysis. In IEEE International Workshop on Service-Oriented System Engineering (SOSE), October, Beijing, pp. 151-158.
25. Tsai, W. T., X. Wei, Y. Chen, B. Xiao, R. Paul, and H. Huang. 2005. Developing and assuring trustworthy Web services. In the 7th International Symposium on Autonomous Decentralized Systems (ISADS), April, pp. 160-167.
26. Tsai, W. T., X. Liu, Y. Chen, and R. Paul. 2005. Dynamic simulation verification and validation by policy enforcement. In the 38th Annual Simulation Symposium, April, San Diego, pp. 91-98.
27. Bell, D., and L. LaPadula. 1976. Secure computer system: Unified exposition and multics interpretation. Technical report, MITRE Corporation, March.
28. Sandhu, R., E. Coyne, H. Feinstein, and C. Youman. 1996. Role-based access control models. IEEE Computer 29(2): 38-42.
29. Bertino, E. 2003. RBAC models: Concepts and trends. Computers & Security 22(6): 511-514.
30. Osborn, S., R. Sandhu, and Q. Nunawer. 2000. Configuring role-based access control to enforce mandatory and discretionary access control policies. ACM Transactions on Information and System Security 3(2): 85-106.
31. Moore, B., E. Ellesson, J. Strassner, and A. Westerinen. 2001. Policy core information model—Version 1 specification. IETF, RFC 3060, February.
32. Tsai, W. T., C. Fan, Y. Chen, and R. Paul. 2006. DDSOS: A dynamic distributed service-oriented simulation framework. In Proceedings of the 39th Annual Simulation Symposium (ANSS), April, Huntsville, AL, pp. 160-167.
33. IEEE. 2000. IEEE Std 1516.1-2000: IEEE standard for modeling and simulation (M&S) High Level Architecture (HLA)—federate interface specification.
34. IEEE. 2000. IEEE Std 1516.2-2000: IEEE standard for modeling and simulation (M&S) High Level Architecture (HLA)—object model template (OMT) specification.
35. IEEE. 2000. IEEE Std 1516-2000: IEEE standard for modeling and simulation (M&S) High Level Architecture (HLA)—framework and rules.
36. LUA programming language. www.lua.org/