1875 search results - page 43 / 375 » Automatic Network Protocol Analysis |
113
click to vote
CSREASAM
2004
15 years 3 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...
114
click to vote
CCS
2008
ACM
15 years 4 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...
108
click to vote
SIGCOMM
1996
ACM
15 years 6 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...
125
click to vote
CDC
2008
IEEE
15 years 8 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
15 years 3 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...