Searching for "Formal security analysis of basic network-attached storage." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Formal Security Analysis of Basic Network-Attached Storage
by Avik Chaudhuri, Martin Abadi — 2005 — In FMSE’05: Formal Methods in Security Engineering
…ABSTRACT Formal Security Analysis of Basic Network-Attached Storage Avik Chaudhuri Martín Abadi We…
Cited by 8 (4 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB