A test-based security certification scheme for web services. - Marco Anisetti; Claudio A. Ardagna; Ernesto Damiani; Francesco Saonara (ACM Trans. Web, 2013)