Formal security analysis of basic network-attached storage

Avik Chaudhuri
FMSE(2005), pp. 43-52

Abstract

Research Areas