Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services

Barletta, M.; Calvi, A.; Ranise, Silvio; Vigano, L.; Zanetti, L.

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. - In: SCALABLE COMPUTING. PRACTICE AND EXPERIENCE. - ISSN 1895-1767. - 12:1(2011).

Scheda prodotto non validato

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte di FBK.

Titolo:	Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services
Autori:	M. Barletta A. Calvi Ranise, Silvio L. Vigano L. Zanetti mostra contributor esterni nascondi contributor esterni
Data di pubblicazione:	2011
Rivista:	SCALABLE COMPUTING. PRACTICE AND EXPERIENCE
Handle:	http://hdl.handle.net/11582/50390
Appare nelle tipologie:	1.1 Articolo in rivista

File in questo prodotto:

Non ci sono file associati a questo prodotto.

Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11582/50390

Citazioni

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

CINECA IRIS Institutional Research Information System

Scheda prodotto non validato

File in questo prodotto: