5665 search results - page 832 / 1133 » Introduction to Computer Security |
162
click to vote
NDSS
2000
IEEE
15 years 11 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...
148
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
We add an operation of group creation to the typed π-calculus, where a group is a type for channels. Creation of fresh groups has the effect of statically preventing certain com...
161
click to vote
NDSS
1998
IEEE
15 years 11 months ago
1998
IEEE
All-Optical Networks provide ultra-fast data rates, but present a new set of challenges for network security. We present a new algorithm for attack localization in networks. The a...
182
click to vote
NDSS
1998
IEEE
15 years 11 months ago
1998
IEEE
Systems that support mobile agents are increasingly being used on the global Internet. Security concerns dealing with the protection of the execution environment from malicious ag...
167
click to vote
HPDC
1996
IEEE
15 years 10 months ago
1996
IEEE
This document describes the core Legion object model. The model specifies the composition and functionality of Legion's core objects--those objects that cooperate to create, ...