2 citations · 5 across the 3 of their papers we have counts for
3 papers
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…
From Strong Amalgamability to Modularity of Quantifier-Free Interpolation
Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise
The use of interpolants in verification is gaining more and more importance. Since theories used in applications are usually obtained as (disjoint) combinations of simpler theories…
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…