65 search results - page 6 / 13 » A Formal General Setting for Dialogue Protocols |
JALC
2006
13 years 7 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
Commitment protocols formalize interactions among autonomous, heterogeneous agents, leaving the agents’ local policies unspecified. This paper studies the problem of agents ena...
LPAR
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
ATAL
2004
Springer
13 years 11 months ago
2004
Springer
Most research about multi-agent coordination is concentrated at a high level, e.g., developing coordination interaction protocols to be imposed on agents. There has been less conc...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
Logics for security protocol analysis require the formalization of an adversary model that specifies the capabilities of adversaries. A common model is the Dolev-Yao model, which c...