12 search results - page 1 / 3 » ndss 2000 |
NDSS
2000
IEEE
13 years 9 months ago
2000
IEEE
NDSS
2000
IEEE
13 years 9 months ago
2000
IEEE
We present an intrusion-detection tool aimed at protecting web servers, and justify why such a tool is needed. We describe several interesting features, such as the ability to run...
NDSS
2000
IEEE
13 years 9 months ago
2000
IEEE
We analyze an optimistic contract signing protocol of Asokan, Shoup, and Waidner as a case study in the applicability of formal methods to verification of fair exchange protocols...
NDSS
2000
IEEE
13 years 9 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...
NDSS
2000
IEEE
13 years 9 months ago
2000
IEEE
We propose a host architecture for secure IP multicast. We identify the basic components of the architecture, describe their functionalities and how they interact with one another...