Proc. 26th IFIP Conference on Formal Methods for Networked and Distributed Systems, Paris, France (FORTE 2006), pp. 99-114

Formal Analysis of Dynamic, Distributed File-System Access Controls

A. Chaudhuri, M. Abadi

Read Research Paper