Model-Checking Driven Security Testing of Web-Based Applications | IEEE Conference Publication | IEEE Xplore