Alberto Calvi

Identifiers

• name variant Alberto Calvi 0.60 · backfill

Papers (1)

1. Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version) cs.CR · 2010 · author #1

Mentions

• 1009.4625 #1 · backfill · confidence 0.70 Alberto Calvi

Frequent Coauthors

• Luca Vigan\`o 1 shared papers
• Silvio Ranise 1 shared papers