4305 search results - page 200 / 861 » Analysing Protocol Implementations |
ACISP
2011
Springer
13 years 26 days ago
2011
Springer
We propose a generic three-pass key agreement protocol that is based on a certain kind of trapdoor one-way function family. When specialized to the RSA setting, the generic protoco...
IEAAIE
2011
Springer
13 years 20 days ago
2011
Springer
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
OSDI
2006
ACM
14 years 9 months ago
2006
ACM
An overall sensornet architecture would help tame the increasingly complex structure of wireless sensornet software and help foster greater interoperability between different code...
CCGRID
2006
IEEE
14 years 3 months ago
2006
IEEE
Group communications are commonly used in parallel and distributed environment. However, existing migration mechanisms do not support group communications. This weakness prevents ...
ICNP
1999
IEEE
14 years 1 months ago
1999
IEEE
Forward Error Correction (FEC) has been proposed as a technique for implementing efficient reliable multicast (RM). However, FEC incurs costs in encode/decode delay and implementa...