CCS
1998
ACM
14 years 4 months ago
1998
ACM
The Point-to-Point Tunneling Protocol (PPTP) is used to secure PPP connections over TCP/IP links. In this paper we analyze Microsoft's Windows NT implementation of PPTP. We s...
CCS
1998
ACM
14 years 4 months ago
1998
ACM
CCS
1998
ACM
14 years 4 months ago
1998
ACM
This paper describes a new public-key cryptosystem based on the hardness of computing higher residues modulo a composite RSA integer. We introduce two versions of our scheme, one d...
CCS
1998
ACM
14 years 4 months ago
1998
ACM
We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are wr...
CCS
1998
ACM
14 years 4 months ago
1998
ACM
Attacks on servers that provide anonymity generally fall into two categories: attempts to expose anonymous users and attempts to silence them. Much existing work concentrates on w...
CCS
1998
ACM
14 years 4 months ago
1998
ACM
CCS
1998
ACM
14 years 4 months ago
1998
ACM
CCS
1998
ACM
14 years 4 months ago
1998
ACM
CCS
1998
ACM
14 years 4 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...
CCS
1998
ACM
14 years 4 months ago
1998
ACM
State-of-the-art and emerging scientific applications require fast access to large quantities of data and commensurately fast computational resources. Both resources and data are ...