Security Validation Using Linear Bounded Automata in Web Service Environment. - M. Thirumaran; R. Padmanaban; J. Nandhini (ICIA, 2016)