1362 search results - page 110 / 273 » Model Checking Large Network Protocol Implementations |
145
Voted
USS
2010
15 years 1 months ago
2010
In recent years, many advances have been made in cryptography, as well as in the performance of communication networks and processors. As a result, many advanced cryptographic pro...
139
Voted
WSC
1997
15 years 5 months ago
1997
We are developing a parallel simulation framework for large-scale network simulation. An important component of this work is the development of a TCP/IP model library. TCP/IP expe...
131
Voted
TON
2010
15 years 2 months ago
2010
—This paper develops a simple and accurate stochastic model for the steady-state throughput of a TCP NewReno bulk data transfer as a function of round-trip time and loss rate. Ou...
111
Voted
CONEXT
2008
ACM
15 years 5 months ago
2008
ACM
This position paper outlines a new network architecture that is based on the fundamental principle that networking is interprocess communication (IPC). In this model, application ...
141
Voted
CISC
2009
Springer
15 years 1 months ago
2009
Springer
The anticipation game framework is an extension of attack graphs based on game theory. It is used to anticipate and analyze intruder and administrator concurrent interactions with ...