Marco Anisetti, Claudio Agostino Ardagna, Ernesto Damiani. Fine-Grained Modeling of Web Services for Test-Based Security Certification. In Hans-Arno Jacobsen, Yang Wang, Patrick Hung, editors, IEEE International Conference on Services Computing, SCC 2011, Washington, DC, USA, 4-9 July, 2011. pages 456-463, IEEE, 2011. [doi]
Abstract is missing.