The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures.

Alessandro Armando Wihem Arsac Tigran Avanesov Michele Barletta Alberto Calvi Alessandro Cappai Roberto Carbone Yannick Chevalier Luca Compagna Jorge Cuéllar Gabriel Erzse Simone Frau Marius Minea Sebastian Mödersheim David von Oheimb Giancarlo Pellegrino Serena Elisa Ponta Marco Rocchetto Michaël Rusinowitch Mohammad Torabi Dashti Mathieu Turuani Luca Viganò The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. 267-282 2012 TACAS http://dx.doi.org/10.1007/978-3-642-28756-5_19 conf/tacas/2012 db/conf/tacas/tacas2012.html#ArmandoAABCCCCCCEFMMOPPRRDTV12