206 search results - page 20 / 42 » A Logic of Privacy |
SACMAT
2009
ACM
14 years 2 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...
CSFW
2011
IEEE
12 years 7 months ago
2011
IEEE
—This paper introduces YARRA, a conservative extension to C to protect applications from non-control data attacks. YARRA programmers specify their data integrity requirements by ...
IEEEARES
2008
IEEE
14 years 2 months ago
2008
IEEE
We present a secure e-commerce architecture that is resistant to client compromise and man-in-the-middle attacks on SSL. To this end, we propose several security protocols that us...
SICHERHEIT
2010
13 years 5 months ago
2010
: This paper presents a fuzzy set based decision support model for taking uncertainty into account when making security investment decisions for distributed systems. The proposed m...
CCS
2010
ACM
13 years 2 months ago
2010
ACM
Traditional web application development often encounters tight coupling problem between access control logic and business logic. It is hard to configure and modify access control ...