CCS
2008
ACM
13 years 6 months ago
2008
ACM
Runtime monitoring systems play an important role in system security, and verification efforts that ensure that these systems satisfy certain desirable security properties are gro...
CCS
2008
ACM
13 years 6 months ago
2008
ACM
To ensure that a trust negotiation succeeds whenever possible, authorization policy compliance checkers must be able to find all minimal sets of their owners' credentials tha...
CCS
2008
ACM
13 years 6 months ago
2008
ACM
In this paper, we study the security of a practical randomness extractor and its application in the tls standard. Randomness extraction is the first stage of key derivation functi...
CCS
2008
ACM
13 years 6 months ago
2008
ACM
Software cache-based side channel attacks present a serious threat to computer systems. Previously proposed countermeasures were either too costly for practical use or only effect...
CCS
2008
ACM
13 years 6 months ago
2008
ACM
Attribute staleness arises due to the physical distribution of authorization information, decision and enforcement points. This is a fundamental problem in virtually any secure di...
CCS
2008
ACM
13 years 6 months ago
2008
ACM
