The objective of the proposed work is to formally specify and implement a federated web service model in which the identity management problem and security features are analyzed. The identity provider assigns equal priority to all registered services of different capability and security domains on mutual trust. The service requester may contact any other service provider inside and outside of its own capability and security domain. The service Id and the service session time are the two important factors on which the federated system security during any session are focused. The federated system with heterogeneous services is formally specified using Temporal Logic of Actions (TLA) and verified. The model is implemented using different types of clients and the performance in terms of latency is measured.
S. Chandrasekaran, C. Dinesh, Kartic Ramesh, Al. M