533 search results - page 38 / 107 » Protocol synthesis from timed and structured specifications |
FORTE
2007
15 years 2 months ago
2007
Abstract. We present a formal specification and analysis of a faulttolerant DHCP algorithm, used to automatically configure certain host parameters in an IP network. Our algorith...
109
click to vote
ACSAC
2004
IEEE
15 years 5 months ago
2004
IEEE
1 A number of recent applications have been built on distributed hash tables (DHTs) based overlay networks. Almost all DHT-based schemes employ a tight deterministic data placement...
108
click to vote
CHES
2006
Springer
15 years 5 months ago
2006
Springer
Balanced dynamic dual-rail gates and asynchronous circuits have been shown, if implemented correctly, to have natural and efficient resistance to side-channel attacks. Despite thei...
ADHOC
2010
15 years 1 months ago
2010
The Optimized Link State Routing (OLSR) protocol is a well-known route discovery protocol for ad-hoc networks. OLSR optimizes the flooding of link state information through the ne...
113
click to vote
ASE
2010
15 years 1 months ago
2010
Recent developments in runtime verification and monitoring show that parametric regular and temporal logic specifications can be efficiently monitored against large programs. Howev...