Computer Science – Cryptography and Security
Scientific paper
2008-05-30
Computer Science
Cryptography and Security
Scientific paper
Distributed implementations of access control abound in distributed storage protocols. While such implementations are often accompanied by informal justifications of their correctness, our formal analysis reveals that their correctness can be tricky. In particular, we discover several subtleties in a standard protocol based on capabilities, that can break security under a simple specification of access control. At the same time, we show a sensible refinement of the specification for which a secure implementation of access control is possible. Our models and proofs are formalized in the applied pi calculus, following some new techniques that may be of independent interest. Finally, we indicate how our principles can be applied to securely distribute other state machines.
No associations
LandOfFree
On Secure Distributed Implementations of Dynamic Access Control does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with On Secure Distributed Implementations of Dynamic Access Control, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On Secure Distributed Implementations of Dynamic Access Control will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-317173