1177 search results - page 145 / 236 » Integrating Security Administration into Software Architectu... |
121
click to vote
CCS
2009
ACM
15 years 10 months ago
2009
ACM
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...
124
click to vote
STORAGESS
2005
ACM
15 years 8 months ago
2005
ACM
In this paper we describe the design for the Pvault software, which is a personal data manager that stores and retrieves data from a remote untrusted data server securely. The maj...
118
click to vote
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
This article describes the design and use of the CUTE C++ testing framework and its integration into the Eclipse C++ Development Tooling. Unit testing supports code quality and is...
129
click to vote
ESOP
2005
Springer
15 years 8 months ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...
128
click to vote
SACMAT
2009
ACM
15 years 9 months ago
2009
ACM
XACML does not natively support RBAC and even the specialized XACML profiles are not able to support many relevant constraints such as static and dynamic separation of duty. Exte...