2162 search results - page 147 / 433 » A Meta-Notation for Protocol Analysis |
GLOBECOM
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract--Node mobility has a direct impact on the performance evaluation of various network mobility protocols. Unfortunately, most of the analysis on mobility protocols used Rand...
AINA
2010
IEEE
14 years 1 months ago
2010
IEEE
Abstract--The steadily growing importance of Internetbased applications and their resilience requirements lead to a rising number of multi-homed sites. The idea of Concurrent Multi...
GRC
2008
IEEE
13 years 11 months ago
2008
IEEE
—Secure multiparty computation is a very important research topic in cryptography. A secure multi-party computation involves N untrusful parties. It takes input xi from the ith p...
IANDC
2008
13 years 10 months ago
2008
Recently automated deduction tools have proved to be very effective for detecting attacks on cryptographic protocols. These analysis can be improved, for finding more subtle weakn...
TWC
2008
13 years 10 months ago
2008
In this letter, we are concerned with adaptive ARQ techniques combined with backoff strategies that exploit the bursty nature of wireless links for improved energy savings. Specifi...