502 search results - page 3 / 101 » An Audit Logic for Accountability |
80
Voted
ACSAC
2004
IEEE
15 years 1 months ago
2004
IEEE
Host security is achieved by securing both the operating system kernel and the privileged applications that run on top of it. Application-level bugs are more frequent than kernel-...
67
Voted
MEDINFO
2007
14 years 11 months ago
2007
Terminologies are increasingly based on “ontologies” developed in description logics and related languages such as the new Web Ontology Language, OWL. The use of description l...
85
Voted
ICFP
2008
ACM
15 years 9 months ago
2008
ACM
This paper presents AURA, a programming language for access control that treats ordinary programming constructs (e.g., integers and recursive functions) and authorization logic co...
FAST
2007
14 years 11 months ago
2007
This paper presents the design, implementation, and evaluation of CATS, a network storage service with strong accountability properties. A CATS server annotates read and write res...
ICNP
2007
IEEE
15 years 3 months ago
2007
IEEE
— The Internet provides no information on the fate of transmitted packets, and end systems cannot determine who is responsible for dropping or delaying their traffic. As a resul...