Luca Viganò. Automated validation of trust and security of service-oriented architectures with the AVANTSSAR platform. In Waleed W. Smari, Vesna Zeljkovic, editors, 2012 International Conference on High Performance Computing & Simulation, HPCS 2012, Madrid, Spain, July 2-6, 2012. pages 444-447, IEEE, 2012. [doi]
Abstract is missing.