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
TACAS, 2012.
@inproceedings{TACAS-2012-ArmandoAABCCCCCCEFMMOPPRRDTV,
author = "Alessandro Armando and Wihem Arsac and Tigran Avanesov and Michele Barletta and Alberto Calvi and Alessandro Cappai and Roberto Carbone and Yannick Chevalier and Luca Compagna and Jorge Cuéllar and Gabriel Erzse and Simone Frau and Marius Minea and Sebastian Mödersheim and David von Oheimb and Giancarlo Pellegrino and Serena Elisa Ponta and Marco Rocchetto and Michaël Rusinowitch and Mohammad Torabi Dashti and Mathieu Turuani and Luca Viganò",
booktitle = "{Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems}",
doi = "10.1007/978-3-642-28756-5_19",
isbn = "978-3-642-28755-8",
pages = "267--282",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures}",
volume = 7214,
year = 2012,
}
Tags:
