2 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.CR2010★ 2 cited
Automated Symbolic Analysis of ARBAC-Policies (Extended Version)
A. Armando, S. Ranise
One of the most widespread framework for the management of access-control policies is Administrative Role Based Access Control (ARBAC). Several automated analysis techniques have b…
cs.CR2009★ 2 cited
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures (Full version)
Michele Barletta, Silvio Ranise, Luca Viganò
A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of authorizati…