A Calculus for Access Control in Distributed Systems

Journal: Springer eBooks • • Springer Nature

Abstract

Abstract text is not embedded in this discovery record. Please consult the full-text publication via the source link on the right.

Subjects & Keywords

How to Cite this Article

Martı́n Abadi, Michael T. Burrows, Butler Lampson, et al. (2007). "A Calculus for Access Control in Distributed Systems". Springer eBooks. https://doi.org/10.1007/3-540-46766-1_1