Michele Barletta
Identifiers
- name variant Michele Barletta 0.60 · backfill
Papers (2)
- Automated Analysis of Scenario-based Specifications of Distributed Access Control Policies with Non-Mechanizable Activities (Extended Version) cs.LO · 2012 · author #1
- Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures (Full version) cs.CR · 2009 · author #1
Mentions
Frequent Coauthors
- Luca Vigan\`o 2 shared papers
- Silvio Ranise 2 shared papers