660 search results - page 67 / 132 » History-Based Access Control and Secure Information Flow |
CCS
2011
ACM
12 years 8 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...
USS
2008
13 years 11 months ago
2008
One of the most critical steps of any security review involves identifying the trust boundaries that an application is exposed to. While methodologies such as threat modeling can ...
SACMAT
2009
ACM
14 years 3 months ago
2009
ACM
A number of research systems have demonstrated the benefits of accompanying each request with a machine-checkable proof that the request complies with access-control policy — a...
ESORICS
2011
Springer
12 years 8 months ago
2011
Springer
Many web pages display personal information provided by users. The goal of this work is to protect that content from untrusted scripts that are embedded in host pages. We present a...
POPL
2004
ACM
14 years 9 months ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...