ACSAC
2003
IEEE
14 years 5 months ago
2003
IEEE
ACSAC
2003
IEEE
14 years 5 months ago
2003
IEEE
The IPsec protocol provides a mechanism to enforce a range of security services for both confidentiality and integrity, enabling secure transmission of information across networks...
ACSAC
2003
IEEE
14 years 5 months ago
2003
IEEE
In this paper, we present a new approach for safe execution of untrusted programs by isolating their effects from the rest of the system. Isolation is achieved by intercepting fi...
ACSAC
2003
IEEE
14 years 5 months ago
2003
IEEE
Routers are critical components of IP networks, but hardly any tool support for analyzing their security exists to date. We have developed such a tool, named CROCODILE, that track...
ACSAC
2003
IEEE
14 years 5 months ago
2003
IEEE
In-depth analysis of network security vulnerability must consider attacker exploits not just in isolation, but also in combination. The general approach to this problem is to comp...
ACSAC
2003
IEEE
14 years 5 months ago
2003
IEEE
This paper provides a retrospective view of the design of SRI’s Provably Secure Operating System (PSOS), a formally specified tagged-capability hierarchical system architecture...
ACSAC
2003
IEEE
14 years 5 months ago
2003
IEEE
Compelled to improve information security by the introduction of personal data protection legislation, organizations worldwide are adopting standardized security management guidel...
ACSAC
2003
IEEE
14 years 5 months ago
2003
IEEE
The validation of enterprise authorization specification for conformance to enterprise security policies requires an out-of-band framework in many situations since the enforcing a...
ACSAC
2003
IEEE
14 years 5 months ago
2003
IEEE
ACSAC
2003
IEEE
14 years 5 months ago
2003
IEEE
Wireless networks of low-power sensing devices are poised to become a ubiquitous part of the computing landscape. Proposed applications of these networks range from health care to...