“Providing security for Web Service Composition using Finite State Machine”, IJCT, vol. 4, no. 2, pp. 435–444, Aug. 2005.