Formal Analysis of Dynamic, Distributed File-System Access Controls
Work
Year: 2006
Type: book-chapter
Abstract: We model networked storage systems with distributed, cryptographically enforced file-access control in an applied pi calculus. The calculus contains cryptographic primitives and supports file-system c... more
Authors Avik Chaudhuri, Martı́n Abadi
Institution University of California, Santa Cruz
Cites: 21
Cited by: 4
Related to: 10
FWCI: 1.521
Citation percentile (by year/subfield): 54.06
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: hybrid
APC paid (est): $5,392