171 search results - page 9 / 35 » Securing Provenance-Based Audits |
CSFW
2008
IEEE
14 years 2 months ago
2008
IEEE
Authorization logics provide a principled and flexible approach to specifying access control policies. One of their compelling benefits is that a proof in the logic is evidence ...
CCS
2000
ACM
13 years 12 months ago
2000
ACM
This paper describes a security model for mobile agent based systems. The model defines the notion of a security-enhanced agent and outlines security management components in agen...
ACSAC
2006
IEEE
2006
IEEE
A Study of Access Control Requirements for Healthcare Systems Based on Audit Trails from Access Logs
14 years 1 months ago
In healthcare, role-based access control systems are often extended with exception mechanisms to ensure access to needed informationeven when the needs don’t followthe expected ...
ICFP
2008
ACM
14 years 7 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...
ESORICS
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. Many protocols rely on audit trails to allow an impartial judge to verify a posteriori some property of a protocol run. However, in current practice the choice of what da...