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

Avik Chaudhuri, Martn Abadi

Browse the full FORTE paper archive.