2214 search results - page 99 / 443 » Dynamic Protocol Recovery |
105
Voted
CSFW
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
117
Voted
HICSS
2005
IEEE
15 years 6 months ago
2005
IEEE
Wireless sensor networks are becoming an integral part of numerous applications very quickly. Here, we present a new approach for sensor applications that requires coverage for a ...
121
Voted
INFOCOM
2000
IEEE
15 years 5 months ago
2000
IEEE
Ad hoc networks are characterized by multihop wireless connectivity, frequently changing network topology and the need for efficient dynamic routing protocols. We compare the perf...
112
Voted
ICC
2009
IEEE
14 years 10 months ago
2009
IEEE
Abstract--We present Starburst, a routing-based protocol designed to efficiently disseminate data items to small subsets within a sensor network. Starburst constructs a routing hie...
97
Voted
SIGSOFT
2000
ACM
15 years 5 months ago
2000
ACM
We describe an extension to the Java programming language that supports static conformance checking and dynamic debugging of object "protocols," i.e., sequencing constra...