2386 search results - page 258 / 478 » Database Security 2000 |
ACSAC
2000
IEEE
15 years 3 months ago
2000
IEEE
Recent work has shown that conventional operating system audit trails are insufficient to detect low-level network attacks. Because audit trails are typically based upon system c...
ACSAC
2000
IEEE
15 years 3 months ago
2000
IEEE
We describe ITS4, a tool for statically scanning security-critical C source code for vulnerabilities. Compared to other approaches, our scanning technique stakes out a new middle ...
CSFW
2000
IEEE
15 years 3 months ago
2000
IEEE
In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are...
ACISP
2000
Springer
15 years 3 months ago
2000
Springer
All human co-operation is based on trust, meaning that we choose co-operation partners and make commitment decisions based on how much we trust the other party. Digital certificat...
AGENTS
2000
Springer
15 years 3 months ago
2000
Springer
Theoretically motivated planning systems often make assumptions about their environments, in areas such as the predictability of action e ects, static behavior of the environment,...