Sciweavers

COMMA
2008
13 years 6 months ago
Investigating Stories in a Formal Dialogue Game
In this paper we propose a formal dialogue game in which two players aim to determine the best explanation for a set of observations. By assuming an adversarial setting, we force t...
Floris Bex, Henry Prakken
CSFW
2008
IEEE
13 years 11 months ago
Language Based Secure Communication
Secure communication in distributed systems is notoriously hard to achieve due to the variety of attacks an adversary can mount, based on message interception, modification, redi...
Michele Bugliesi, Riccardo Focardi