Formal Analysis of Dynamic, Distributed File-System Access Controls.

Avik Chaudhuri Martín Abadi Formal Analysis of Dynamic, Distributed File-System Access Controls. 99-114 2006 conf/forte/2006 FORTE http://dx.doi.org/10.1007/11888116_8 db/conf/forte/forte2006.html#ChaudhuriA06