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]
@inproceedings{Vigano12-0,
title = {Automated validation of trust and security of service-oriented architectures with the AVANTSSAR platform},
author = {Luca Viganò},
year = {2012},
doi = {10.1109/HPCSim.2012.6266956},
url = {http://dx.doi.org/10.1109/HPCSim.2012.6266956},
researchr = {https://researchr.org/publication/Vigano12-0},
cites = {0},
citedby = {0},
pages = {444-447},
booktitle = {2012 International Conference on High Performance Computing & Simulation, HPCS 2012, Madrid, Spain, July 2-6, 2012},
editor = {Waleed W. Smari and Vesna Zeljkovic},
publisher = {IEEE},
isbn = {978-1-4673-2359-8},
}