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

Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures (Full version) - Michele Barletta; Silvio Ranise; Luca Viganò 001 (CoRR, 2009)

WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications. - Michele Barletta; Alberto Calvi; Silvio Ranise; Luca Viganò 001; Luca Zanetti (SYNASC, 2010)

Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services. - Michele Barletta; Alberto Calvi; Silvio Ranise; Luca Viganò 001; Luca Zanetti (Scalable Comput. Pract. Exp., 2011)

A declarative two-level framework to specify and verify workflow and authorization policies in service-oriented architectures. - Michele Barletta; Silvio Ranise; Luca Viganò 001 (Serv. Oriented Comput. Appl., 2011)

Automated Analysis of Scenario-Based Specifications of Distributed Access Control Policies with Non-mechanizable Activities. - Michele Barletta; Silvio Ranise; Luca Viganò 001 (STM, 2012)

The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. - 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; et al. (TACAS, 2012)

Automated Analysis of Scenario-based Specifications of Distributed Access Control Policies with Non-Mechanizable Activities (Extended Version). - Michele Barletta; Silvio Ranise; Luca Viganò 001 (CoRR, 2012)