34311 articles – 26875 Notices  [english version]
.:. 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]