Jump to Content

Formal security analysis of basic network-attached storage

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

Abstract

Research Areas