Security Validation Using Linear Bounded Automata in Web Service Environment
M. Thirumaran, R. Padmanaban, J. Nandhini · 2016
Web service present more interoperability and connectivity between the services. Now a days web service technology is been popularly used to implement information system as service oriented applications. As Security become predominant in case of web service WS- policy and WS-security is used where WS-policy discuss the constraint and capabilities of web service and WS-security says about specification that defines how security measures are applied in web services to safeguard them from external attacks. But still some flaws are present in implementations and standards in regard to web service security. Web service composition is done using WS-BPEL. BPEL checks for the process execution but still security validation fails to happen in execution, hence LBA (Linear Bounded Automata) is a technique which is implemented in WS-BPEL to completely analyze the security aspect in BPEL and verify the security presence in each stages before moving to next stage.