Avik Chaudhuri Martín Abadi Formal security analysis of basic network-attached storage. 43-52 2005 conf/ccs/2005fmse FMSE http://doi.acm.org/10.1145/1103576.1103583 db/conf/ccs/ccs2005fmse.html#ChaudhuriA05