562 search results - page 8 / 113 » Agent communication transfer protocol |
ATAL
2005
Springer
15 years 2 months ago
2005
Springer
We sketch how to express typical features of agent communication protocols in a simple temporal logic and show that conformance verification at runtime reduces to a generalised f...
ARGMAS
2008
Springer
14 years 11 months ago
2008
Springer
Verification that agent communication protocols have desirable properties or do not have undesirable properties is an important issue in agent systems where agents intend to commu...
CCECE
2006
IEEE
15 years 3 months ago
2006
IEEE
AGENTCL
2003
Springer
15 years 2 months ago
2003
Springer
TC
2010
14 years 7 months ago
2010
—Key transfer protocols rely on a mutually trusted key generation center (KGC) to select session keys and transport session keys to all communication entities secretly. Most ofte...