2162 search results - page 186 / 433 » A Meta-Notation for Protocol Analysis |
182
click to vote
INFOCOM
2000
IEEE
15 years 10 months ago
2000
IEEE
—Many scalable reliable multicast protocols use the local repair scheme where certain receivers retransmit packets by other receivers. Such schemes need a mechanism, called messa...
193
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. In this paper we describe how the language of Communicating Sequential Processes CSP has been applied to the analysis of a transport layer protocol used in the implementa...
199
click to vote
JSAC
2008
15 years 6 months ago
2008
Reliable transmission is a challenging task over wireless LANs since wireless links are known to be susceptible to errors. Although the current IEEE802.11 standard ARQ error contro...
176
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
In studying how to communicate over a public channel with an active adversary, Dodis and Wichs introduced the notion of a non-malleable extractor. A non-malleable extractor dramat...
155
click to vote
FM
1999
Springer
15 years 10 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...