most citedAutomated Analysis of Scenario-based Specifications of Distributed Access Control Policies with Non-Mechanizable Activities (Extended Version)

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2012★ 2 cited

Automated Analysis of Scenario-based Specifications of Distributed Access Control Policies with Non-Mechanizable Activities (Extended Version)

Michele Barletta, Silvio Ranise, Luca Viganò

The advance of web services technologies promises to have far-reaching effects on the Internet and enterprise networks allowing for greater accessibility of data. The security chal…