Michele Barletta, Alberto Calvi, Silvio Ranise, Luca Viganò, Luca Zanetti. WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications. In Tetsuo Ida, Viorel Negru, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie, editors, 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010. pages 417-424, IEEE Computer Society, 2010. [doi]
@inproceedings{BarlettaCRVZ10,
title = {WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications},
author = {Michele Barletta and Alberto Calvi and Silvio Ranise and Luca Viganò and Luca Zanetti},
year = {2010},
doi = {10.1109/SYNASC.2010.74},
url = {http://dx.doi.org/10.1109/SYNASC.2010.74},
tags = {analysis, security},
researchr = {https://researchr.org/publication/BarlettaCRVZ10},
cites = {0},
citedby = {0},
pages = {417-424},
booktitle = {12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010},
editor = {Tetsuo Ida and Viorel Negru and Tudor Jebelean and Dana Petcu and Stephen M. Watt and Daniela Zaharie},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-4324-6},
}