Scheduled System Maintenance:
Some services will be unavailable Sunday, March 29th through Monday, March 30th. We apologize for the inconvenience.
By Topic

Model-Checking Driven Security Testing of Web-Based Applications

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
5 Author(s)
Armando, A. ; DIST, Univ. of Genova, Genova, Italy ; Carbone, R. ; Compagna, L. ; Keqin Li
more authors

Author(s)

Armando, A.
DIST, Univ. of Genova, Genova, Italy
Carbone, R. ; Compagna, L. ; Keqin Li ; Pellegrino, G.