Michele Barletta

	2012
6		Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mödersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michaël Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Viganò: The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. TACAS 2012: 267-282
	2011
5		Michele Barletta, Alberto Calvi, Silvio Ranise, Luca Viganò, Luca Zanetti: Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services. Scalable Computing: Practice and Experience 12(1): (2011)
4		Michele Barletta, Silvio Ranise, Luca Viganò: A declarative two-level framework to specify and verify workflow and authorization policies in service-oriented architectures. Service Oriented Computing and Applications 5(2): 105-137 (2011)
	2010
3		Michele Barletta, Alberto Calvi, Silvio Ranise, Luca Viganò, Luca Zanetti: WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications. SYNASC 2010: 417-424
	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	Alessandro Armando	[6]
2	Wihem Arsac	[6]
3	Tigran Avanesov	[6]
4	Alberto Calvi	[3] [5] [6]
5	Alessandro Cappai	[6]
6	Roberto Carbone	[6]
7	Yannick Chevalier	[6]
8	Luca Compagna	[6]
9	Jorge Cuéllar (Jorge Ricardo Cuellar)	[6]
10	Muhammad Torabi Dashti (Mohammad Torabi Dashti)	[6]
11	Gabriel Erzse	[6]
12	Simone Frau	[6]
13	Marius Minea	[6]
14	Sebastian Mödersheim (Sebastian Alexander Mödersheim)	[6]
15	David von Oheimb	[6]
16	Giancarlo Pellegrino	[6]
17	Serena Elisa Ponta	[6]
18	Silvio Ranise	[1] [2] [3] [4] [5]
19	Marco Rocchetto	[6]
20	Michaël Rusinowitch	[6]
21	Mathieu Turuani	[6]
22	Luca Viganò	[1] [2] [3] [4] [5] [6]
23	Luca Zanetti	[3] [5]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page