Michele Barletta

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

2 Michele Barletta, Silvio Ranise, Luca Viganò: Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures. CSE (3) 2009: 289-296

1 Michele Barletta, Silvio Ranise, Luca Viganò: Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures (Full version) CoRR abs/0906.4570: (2009)

	2009
2		Michele Barletta, Silvio Ranise, Luca Viganò: Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures. CSE (3) 2009: 289-296
1		Michele Barletta, Silvio Ranise, Luca Viganò: Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures (Full version) CoRR abs/0906.4570: (2009)

Coauthor Index

1 Silvio Ranise [1] [2]

2 Luca Viganò [1] [2]