Web Services Secure Session Management Modeling Based on Petri Net

摘要

Web services technology is a new way to integrating applications into a business flow. To provide security, secure sessions need to be established among them. We propose a design of Web services secure session management. The architecture and messages are described. A model and an analysis of the flow based on Petri net are also presented.