10 citations · 39 across the 23 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
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.AI2011★ 6 cited
Meaning Negotiation as Inference
Elisa Burato, Matteo Cristani, Luca Viganò
Meaning negotiation (MN) is the general process with which agents reach an agreement about the meaning of a set of terms. Artificial Intelligence scholars have dealt with the probl…