88 citations · 243 across the 14 of their papers we have counts for
Showing 2010 · cs.CRShow all
2 papers · 2 filters
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.CR2010★ 2 cited
Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version)
Alberto Calvi, Silvio Ranise, Luca Viganò
We formalize automated analysis techniques for the validation of web services specified in BPEL and a RBAC variant tailored to BPEL. The idea is to use decidable fragments of first…