M. Thirumaran, R. Padmanaban, J. Nandhini. Security Validation Using Linear Bounded Automata in Web Service Environment. In V. Akila, N. Sivakumar, K. Saruladha, G. Zayaraz, E. Ilavarasan, editors, Proceedings of the International Conference on Informatics and Analytics, ICIA 2016, Pondicherry, India, August 25-26, 2016. ACM, 2016. [doi]
Abstract is missing.