Formal Analysis of Dynamic, Distributed File-System Access Controls

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

Publication date: January 31, 2006

A. Chaudhuri, M. Abadi