Alberto Calvi, PhD
Title
Cited by
Cited by
Year
The AVANTSSAR platform for the automated validation of trust and security of service-oriented architectures
A Armando, W Arsac, T Avanesov, M Barletta, A Calvi, A Cappai, ...
International Conference on Tools and Algorithms for the Construction and†…, 2012
1182012
Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC
A Calvi, S Ranise, L Vigano
2010 12th International Symposium on Symbolic and Numeric Algorithms for†…, 2010
112010
An automated approach for testing the security of web applications against chained attacks
A Calvi, L ViganÚ
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2095-2102, 2016
92016
Workflow and access control reloaded: a declarative specification framework for the automated analysis of Web services
M Barletta, A Calvi, S Ranise, L Vigano, L Zanetti
Scalable Computing: Practice and Experience 12 (1), 1-20, 2011
92011
WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications
M Barletta, A Calvi, S Ranise, L Vigano, L Zanetti
2010 12th International Symposium on Symbolic and Numeric Algorithms for†…, 2010
32010
Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version)
A Calvi, S Ranise, L ViganÚ
arXiv preprint arXiv:1009.4625, 2010
12010
Evaluation of ASLan Mutation Operators
J Oudinet, A Calvi, M BŁchler
International Conference on Tests and Proofs, 178-196, 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–7