382 search results - page 16 / 77 » Rule-based static analysis of network protocol implementatio... |
NDSS
2000
IEEE
15 years 4 months ago
2000
IEEE
We describe a new technique for finding potential buffer overrun vulnerabilities in security-critical C code. The key to success is to use static analysis: we formulate detection...
ICNP
2007
IEEE
15 years 6 months ago
2007
IEEE
— TCP is the dominant transport protocol used in the Internet and its performance fundamentally governs the performance of Internet applications. It is well-known that packet los...
POPL
2000
ACM
15 years 4 months ago
2000
ACM
Many interactive Web services use the CGI interface for communication with clients. They will dynamically create HTML documents that are presented to the client who then resumes t...
CSREASAM
2004
15 years 1 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...
86
Voted
PDPTA
2003
15 years 1 months ago
2003
This paper investigates the protocol overhead pipelining between the host and network interface card (NIC). Existing researches into the protocol overhead pipelining assume that p...