1875 search results - page 43 / 375 » Automatic Network Protocol Analysis |
CSREASAM
2004
13 years 11 months ago
2004
A VPN establishes a secure network using the insecure media of the Internet. However, before a VPN can be established keys must be exchanged between the communicating peers. In th...
CCS
2008
ACM
13 years 12 months ago
2008
ACM
We present a new verification algorithm for security protocols that allows for unbounded verification, falsification, and complete characterization. The algorithm provides a numbe...
SIGCOMM
1996
ACM
14 years 2 months ago
1996
ACM
This paper describes several techniques designed to improve protocol latency, and reports on their effectiveness when measured on a modern RISC machine employing the DEC Alpha pro...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— A new congestion control protocol is presented, analyzed and experimentally evaluated. It consists of the standard inner-loop ACK-clock and a novel outer-loop adjusting the win...
USENIX
1993
13 years 11 months ago
1993
Networking software is a growing bottleneck in modern workstations, particularly for high throughput applications such as networked digital video. We measure various components of...