OpenAlex
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
Cites: 21
Cited by: 4
Related to: 10
FWCI: 1.521
Citation percentile (by year/subfield): 54.06
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: hybrid
APC paid (est): $5,392