107 search results - page 17 / 22 » A Framework for Game-Based Security Proofs |
SP
2010
IEEE
13 years 11 months ago
2010
IEEE
—A growing number of current web sites combine active content (applications) from untrusted sources, as in so-called mashups. The object-capability model provides an appealing ap...
PODC
2010
ACM
13 years 11 months ago
2010
ACM
In this paper, we present a framework for achieving anonymity and trust, two seemingly contradictory properties, in distributed systems. Our approach builds on webs of trust, a we...
SPC
2005
Springer
14 years 1 months ago
2005
Springer
In pervasive computing environments, changes in context may trigger changes in an individual’s access permissions. We contend that existing access control frameworks do not provi...
CSFW
2003
IEEE
14 years 1 months ago
2003
IEEE
To be practical, systems for ensuring secure information flow must be as permissive as possible. To this end, the author recently proposed a type system for multi-threaded progra...
EUROSYS
2010
ACM
14 years 28 days ago
2010
ACM
Combining access control with weakly consistent replication presents a challenge if the resulting system is to support eventual consistency. If authorization policy can be tempora...