5488 search results - page 1027 / 1098 » On the Secure Implementation of Security Protocols |
125
click to vote
DEXAW
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper presents an environment for supporting parallel/distributed programming using Java with RMI and RMI-IIOP (CORBA). The environment implements the notion of Shared Object...
121
click to vote
DSN
2002
IEEE
15 years 9 months ago
2002
IEEE
Language run-time systems are routinely used to host potentially buggy or malicious codelets — software modules, agents, applets, etc. — in a secure environment. A number of t...
123
click to vote
INFOCOM
2002
IEEE
15 years 9 months ago
2002
IEEE
—Enhanced network services often involve allocating resources (bandwidth/buffer space) preferentially to packets belonging to certain flows or traffic classes. Such services ar...
126
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper introduces semi-user-level communication architecture, a new high-performance light-weighted communication architecture for inter-node communication of clusters. Differ...
157
click to vote
LICS
2002
IEEE
15 years 9 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...