Providing Security for Web Service Composition Using Finite State Machine. IJCT 2005, 4, 435-444.