360 search results - page 12 / 72 » ccs 2008 |
CCS
2008
ACM
15 years 2 days ago
2008
ACM
A recent development in formal security protocol analysis is the Protocol Composition Logic (PCL). We identify a number of problems with this logic as well as with extensions of t...
CCS
2008
ACM
15 years 2 days ago
2008
ACM
Correct enforcement of authorization policies is a difficult task, especially for multi-threaded software. Even in carefully-reviewed code, unauthorized access may be possible in ...
CCS
2008
ACM
15 years 2 days ago
2008
ACM
Low latency anonymity systems are susceptive to traffic analysis attacks. In this paper, we propose a dependent link padding scheme to protect anonymity systems from traffic analy...
CCS
2008
ACM
15 years 2 days ago
2008
ACM
Reflective Database Access Control (RDBAC) is a model in which a database privilege is expressed as a database query itself, rather than as a static privilege contained in an acce...
CCS
2008
ACM
15 years 2 days ago
2008
ACM
The access control provided by a physical lock is based on the assumption that the information content of the corresponding key is private -- that duplication should require eithe...