Automated validation of trust and security of service-oriented architectures with the AVANTSSAR platform

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]

Authors

Luca Viganò

This author has not been identified. Look up 'Luca Viganò' in Google