2 citations · 5 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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…
cs.LO2012★ 1 cited
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…