Static analysis for web service security - Tools & techniques for a secure development life cycle | IEEE Conference Publication | IEEE Xplore