309 search results - page 26 / 62 » Logic-Based Agent Communication Protocols |
CSFW
2007
IEEE
14 years 1 months ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
ASM
2005
ASM
14 years 1 months ago
2005
ASM
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenar...
ISN
2000
Springer
13 years 11 months ago
2000
Springer
Network Control is currently carried out mainly by means of signalling protocols. Although these protocols are robust and facilitate standardisation, they present several drawback...
PRIMA
2004
Springer
14 years 29 days ago
2004
Springer
This paper introduces teams of personal agents that support users individually in electronic negotiations. These agents listen to the running negotiation and to each other to point...
PODC
1999
ACM
13 years 12 months ago
1999
ACM
We present a combinatorial framework for the study of a natural class of distributed optimization problems that involve decisionmaking by a collection of n distributed agents in th...