40 search results - page 2 / 8 » acsac 2003 |
ACSAC
2003
IEEE
13 years 10 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
13 years 10 months ago
2003
IEEE
This paper discusses a potential security issue in common operating system and application environments regarding dynamically attached devices and device interfaces. A set of coun...
ACSAC
2003
IEEE
13 years 10 months ago
2003
IEEE
In the past several years there has been extensive research into honeypot technologies, primarily for detection and information gathering against external threats. However, little...
ACSAC
2003
IEEE
13 years 10 months ago
2003
IEEE
In [1], we proposed a model for policy-based intrusion detection, based on information flow control. In the present paper, we show its applicability and effectiveness on a stand...
ACSAC
2003
IEEE
13 years 10 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...