Description And Analysis Of WS Security Based On Temporal Logic

With the rapid development of the Web services applications, the web services security issue has emerged as one of obstacles in business applications. In particular, the security issue of web services providers becomes more important than other parts. This paper simply introduced the Web services firstly. Then, we discussed the security issues faced by web services providers, Emphasized to consider the diversity of Web service provider security policies. We import an information security solving model based the separate of the security polices and the implementation mechanism and improve the model according to the actual application of Web services. The model joins the existing Web service frame very easily. With this model, the security policy and its implementation are separated. In addition, to facilitate the security designers of web services providers to understand and analyze the model, the paper describes the specification of the resource access decision model using Projection Temporal Logic (PTL) and implementation of the model using finite state machines.