NDSS
2000
IEEE
14 years 1 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
14 years 1 months ago
2000
IEEE
Traditional Intrusion Detection Systems (IDSs) mostly work off-line, without any direct runtime interaction or coordination with the applications (and with other IDSs) that they a...
NDSS
2000
IEEE
14 years 1 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...
NDSS
2000
IEEE
14 years 1 months ago
2000
IEEE
NDSS
2000
IEEE
14 years 1 months ago
2000
IEEE
Abstract. Chameleon signatures simultaneously provide the properties of nonrepudiation and non-transferability for the signed message. However, the initial constructions of chamele...
NDSS
2000
IEEE
14 years 1 months ago
2000
IEEE
The Border Gateway Protocol (BGP), which is used to distribute routing information between autonomous systems, is an important component of the Internet’s routing infrastructure...
NDSS
2000
IEEE
14 years 1 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
14 years 1 months ago
2000
IEEE
The Secure Virtual Enclaves (SVE) collaboration infrastructure allows multiple organizations to share their distributed application objects, while respecting organizational autono...
LCN
2000
IEEE
14 years 1 months ago
2000
IEEE
LCN
2000
IEEE
14 years 1 months ago
2000
IEEE
