Security Validation Using Linear Bounded Automata in Web Service Environment.

M. Thirumaran R. Padmanaban J. Nandhini

Published in: ICIA (2016)

Keyphrases

web services
real time
dynamic environments
intrusion detection
mobile robot
network security
business applications
current situation
distributed multimedia
access control
regular expressions
service oriented architecture
linear systems
security mechanisms
execution environment