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

Alessandro Armando, Roberto Carbone, Luca Compagna, Keqin Li, Giancarlo Pellegrino

Browse the full ICST paper archive.