2162 search results - page 228 / 433 » A Meta-Notation for Protocol Analysis |
183
click to vote
ACMACE
2006
ACM
16 years 18 days ago
2006
ACM
A fundamental design question to ask in the development of a network game is—Which transport protocol should be used—TCP, UDP, or some other protocols? Seeking an objective an...
194
click to vote
RIDE
2000
IEEE
15 years 11 months ago
2000
IEEE
We present the notion of a distributed database made up entirely of mobile components. Since disconnections will be frequent in such an environment, we develop a disconnection and...
167
click to vote
SASO
2007
IEEE
16 years 27 days ago
2007
IEEE
This paper describes, and evaluates benefits of, a design methodology to translate certain mathematical models into the design of novel, self-adaptive, peer-to-peer (p2p) distrib...
172
click to vote
FSTTCS
2003
Springer
15 years 11 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
194
click to vote
RSA
2000
15 years 6 months ago
2000
We analyze various stochastic processes for generating permutations almost uniformly at random in distributed and parallel systems. All our protocols are simple, elegant and are b...