88 citations · 243 across the 14 of their papers we have counts for
Showing 2010Show all
3 papers · 1 filter
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.LO2010★ 73 cited
Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis
Silvio Ghilardi, Silvio Ranise
The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure a…
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…