1362 search results - page 107 / 273 » Model Checking Large Network Protocol Implementations |
131
Voted
IFIP
2003
Springer
15 years 9 months ago
2003
Springer
As the mobility and the number of affordable, powerful, and highly portable devices becoming networked increases, so will the amount of networked services offered, managed and disc...
141
Voted
CSFW
2009
IEEE
15 years 7 months ago
2009
IEEE
ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the exclusive OR (XOR) and Diffie-...
123
Voted
DC
2002
15 years 3 months ago
2002
Abstract. Casual message-logging protocols have several attractive properties: they introduce no blocking, send no additional messages over those sent by the application, and never...
119
Voted
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
— This paper presents C-MAC, a new MAC protocol designed to achieve high-throughput bulk communication for dataintensive sensing applications. C-MAC exploits concurrent wireless ...
95
Voted
ISCC
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we analyze stability of XCP (eXplicit Control Protocol) in a network with heterogeneous XCP flows (i.e., XCP flows with different propagation delays). Specificall...