562 search results - page 5 / 113 » Agent communication transfer protocol |
ISCC
2007
IEEE
14 years 5 months ago
2007
IEEE
Even though PDAs in general—but smartcards in particular—can be trusted to keep secrets, because they have meager resources, including them in security protocols is difficult...
NOMS
2000
IEEE
14 years 3 months ago
2000
IEEE
DALT
2005
Springer
14 years 4 months ago
2005
Springer
ATAL
2003
Springer
14 years 4 months ago
2003
Springer
ESM
2000
14 years 7 days ago
2000
The framework of this paper is the design of complex communication protocols by simulation, based on formal description techniques (FDT). We propose a general-purpose scalable mod...