2 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.CR2011★ 1 cited
Attack Interference in Non-Collaborative Scenarios for Security Protocol Analysis [Extended Version]
M. Camilla Fiazza, Michele Peroli, Luca Viganò
In security protocol analysis, the traditional choice to consider a single Dolev-Yao attacker is supported by the fact that models with multiple collaborating Dolev-Yao attackers h…
cs.CR2010
Blocking Underhand Attacks by Hidden Coalitions (Extended Version)
Matteo Cristani, Erisa Karafili, Luca Viganò
Similar to what happens between humans in the real world, in open multi-agent systems distributed over the Internet, such as online social networks or wiki technologies, agents oft…
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…