562 search results - page 8 / 113 » Agent communication transfer protocol |
138
click to vote
ATAL
2005
Springer
16 years 4 days 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...
174
click to vote
ARGMAS
2008
Springer
15 years 8 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...
175
Voted
CCECE
2006
IEEE
16 years 23 days ago
2006
IEEE
190
Voted
TC
2010
15 years 5 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...