A petri net based xml firewall security model for web services invocation

Proceedings of the Third IASTED International Conference on Communication, Network, and Information Security, CNIS 2006

Volumn , Issue , 2006, Pages 61-67

  Ayachit, Mihir M ^a   Xu, Haiping ^a  

^a Department of Electrical and Computer Engineering   (United States)

Author keywords

Formal verification; Petri net model; Role based access control (RBAC); Web services; XML firewall

Indexed keywords

FORMAL VERIFICATION; PETRI NET MODELS; ROLE BASED ACCESS CONTROL; XML FIREWALL;

ACCESS CONTROL; USER INTERFACES; WEB SERVICES; XML;

CRYPTOGRAPHY;

EID: 38049150308     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. S. Mysore, Securing web services - concepts, standards, and requirements, White paper, Sun Microsystems, October 2003.
2. T. Murata, Petri nets: properties, analysis and applications, Proce of the IEEE, 77(4): 541-580, April 1989.
3. H. Feinstein R. Sandhu, E. Coyne and C. Youman, Role-based access control models, IEEE Computer, 29(2):38-47, 1996.
4. Guangsen Zhang, Manish Parashar, Context-aware dynamic access control for pervasive applications, Proc. of the Communication Networks and Distributed Systems Modeling and Simulation Conference (CNDS 2004), Western Multi-Conference (WMC), San Diego, CA, USA, 2004.
5. E. B. Fernandez, Two patterns for web services security, Proc. of the 2004 Intl. Sym. on Web Services and Applications (ISWS'04), Las Vegas, NV, 2004.
6. E. B. Fernandez, M. M. Larrondo-Petrie, N. Seliya, N. Delessy-Gassant, and M. Schumacher, A pattern language for firewalls, In M. Schumacher, E. B. Fernandez, D. Hybertson, F. Buschmann, and P. Sommerlad (Eds.), Security Patterns, Wiley 2005.
7. D. Allen, Forum Systems' XWall Web Services Firewal, Retrieved on February 29, 2006, from http://www.networkmagazine.com/shared/article/ showArticle.jhtml?articleId=18900090
8. H. Xu and S. M. Shatz, A framework for model-based design of agent-oriented software, IEEE Transactions on Software Engineering (IEEE TSE), January 2003, Vol. 29, No. 1, pp. 15-30.
9. H. Xu and S. M. Shatz, ADK: an agent development kit based on a formal model for multi-agent systems, Journal of Automated Software Engineering (AUSE), October 2003, Vol. 10, No. 4, pp. 337-365.
10. S. Roch and P. H. Starke, INA: Integrated Net Analyzer, Version 2.2, Humboldt-Universitat zu Berlin, Institut für Informatik, April 1999.