Formal Security Analysis of Basic Network-Attached Storage

Proc. 3rd ACM Workshop on Formal Methods in Security Engineering, Fairfax, USA (FMSE 2005), pp. 43-52

Publication date: January 31, 2005

A. Chaudhuri, M. Abadi