562 search results - page 19 / 113 » Agent communication transfer protocol |
IEEEARES
2007
IEEE
15 years 3 months ago
2007
IEEE
In this paper we show how to simulate attacks on authentication protocols in a realistic environment. The attack on the Needham-Schroeder public key protocol found by Gavin Lowe i...
MONET
2002
14 years 9 months ago
2002
Wireless networking and group communication in combination allows groups of dispersed mobile users to collaborate. This paper presents AGENT, a medium access control (MAC) protocol...
ICC
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract— Procedures that provide a virtual link service aggregating bandwidths of multiple physical links are called a multilink protocol. The multilink protocol enables to util...
ATAL
2007
Springer
15 years 3 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...
87
Voted
DALT
2004
Springer
15 years 2 months ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...