R. Carbone

Latest

• Model-Checking Driven Security Testing of Web-Based Applications