10 citations · 39 across the 23 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
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…