.:. Consultation > Par auteur > Arsac .:.

1 document

The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures Armando A., Arsac W., Avanesov T., Barletta M., Calvi A., Cappai A., Carbone R., Chevalier Y., Compagna L., Cuellar J. et al Dans Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012 7214 (2012) 267-282 [hal-00759725 - version 1]