135 search results - page 17 / 27 » Cryptographic Protocol Analysis on Real C Code |
IMC
2006
ACM
14 years 1 months ago
2006
ACM
In this paper we present the first implementation of a P2P content distribution system that uses Network Coding. Using results from live trials with several hundred nodes, we pro...
CCS
2003
ACM
14 years 21 days ago
2003
ACM
Pairwise key establishment is a fundamental security service in sensor networks; it enables sensor nodes to communicate securely with each other using cryptographic techniques. Ho...
PEWASUN
2006
ACM
14 years 1 months ago
2006
ACM
In wireless multi-hop networks, hello protocols for neighbor discovery are a basic service offered by the networking stack. However, their study usually rely on rather simplistic...
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Network coding is emerging as a promising alternative to traditional content distribution approaches in P2P networks. By allowing information mixture in peers, it simpli...
CAV
2000
Springer
13 years 11 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...