We formalize automated analysis techniques for the validation of web services specified in BPEL and a RBAC variant tailored to BPEL. The idea is to use decidable fragments of firstorder logic to describe the state space of a certain class of web services and then use state-of-the-art SMT solvers to handle their reachability problems. To assess the practical viability of our approach, we have developed a prototype tool implementing our techniques and applied it to a digital contract signing service inspired by an industrial case study. © 2010 IEEE.

Automated validation of security-sensitive web services specified in BPEL and RBAC / Calvi, A.; Ranise, S.; Vigano, L.. - (2010), pp. 456-464. (Intervento presentato al convegno 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing tenutosi a Romania nel 23-26/09/2011) [10.1109/SYNASC.2010.75].

Automated validation of security-sensitive web services specified in BPEL and RBAC

Ranise S.;
2010-01-01

Abstract

We formalize automated analysis techniques for the validation of web services specified in BPEL and a RBAC variant tailored to BPEL. The idea is to use decidable fragments of firstorder logic to describe the state space of a certain class of web services and then use state-of-the-art SMT solvers to handle their reachability problems. To assess the practical viability of our approach, we have developed a prototype tool implementing our techniques and applied it to a digital contract signing service inspired by an industrial case study. © 2010 IEEE.
2010
Proceedings - 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010
10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
IEEE Computer Society
978-1-4244-9816-1
Calvi, A.; Ranise, S.; Vigano, L.
Automated validation of security-sensitive web services specified in BPEL and RBAC / Calvi, A.; Ranise, S.; Vigano, L.. - (2010), pp. 456-464. (Intervento presentato al convegno 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing tenutosi a Romania nel 23-26/09/2011) [10.1109/SYNASC.2010.75].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/333102
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? 2
  • OpenAlex ND
social impact