Formal security analysis of basic network-attached storage

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Formal security analysis of basic network-attached storage

Full text

Pdf (261 KB)

Source

Workshop on Formal Methods in Security Engineering archive
Proceedings of the 2005 ACM workshop on Formal methods in security engineering table of contents

Fairfax, VA, USA

SESSION: Session 2 table of contents

Pages: 43 - 52

Year of Publication: 2005

ISBN:1-59593-231-3

Authors

Avik Chaudhuri	University of California, Santa Cruz
Martín Abadi	University of California, Santa Cruz

Sponsors

SIGSAC: ACM Special Interest Group on Security, Audit, and Control
ACM: Association for Computing Machinery

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 68, Citation Count: 0

Additional Information:

references index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1103576.1103583 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Martín Abadi, Protection in Programming-Language Translations, Proceedings of the 25th International Colloquium on Automata, Languages and Programming, p.868-883, July 13-17, 1998
	2	Martín Abadi, Secrecy by typing in security protocols, Journal of the ACM (JACM), v.46 n.5, p.749-786, Sept. 1999 [doi>10.1145/324133.324266]
	3	Martín Abadi , Cédric Fournet, Mobile values, new names, and secure communication, Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.104-115, January 2001, London, United Kingdom
	4	Martín Abadi , Cédric Fournet , Georges Gonthier, Authentication primitives and their compilation, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.302-315, January 19-21, 2000, Boston, MA, USA [doi>10.1145/325694.325734]
	5	Martín Abadi , Cédric Fournet , Georges Gonthier, Secure implementation of channel abstractions, Information and Computation, v.174 n.1, p.37-83, April 10, 2002 [doi>10.1006/inco.2002.3086]
	6	M. Abadi and A.D. Gordon. A calculus for cryptographic protocols: The spi calculus. Technical Report SRC-RR-149, Digital Systems Research Center, Palo Alto CA, January 1998.
	7	B. Blanchet. Automatic Proof of Strong Secrecy for Security Protocols. In IEEE Symposium on Security and Privacy, pages 86--100, May 2004.
	8	M. Burrows, M. Abadi, and R. Needham. A logic of authentication. Proceedings of the Royal Society of London A, 426:233--271, 1989. A preliminary version appeared as Digital Equipment Corporation Systems Research Center report No.39, February 1989.
	9	G.A. Gibson, D.P. Nagle, K. Amiri, F.W. Chang, E. Feinberg, H.G.C. Lee, B. Ozceri, E. Riede, and D. Rochberg. A case for network-attached secure disks. Technical Report CMU. CS-96-142, 1996.
	10	Howard Bradley Gobioff , Garth Gibson , Doug Tygar, Security for a high performance commodity storage subsystem, 1999
	11	H. Gobioff, G. Gibson, and J. Tygar. Security for network attached storage devices. Technical Report CMU-CS-97-185, Carnegie Mellon University, October 1997.
	12	Andrew D. Gordon , Alan Jeffrey, Typing correspondence assertions for communication protocols, Theoretical Computer Science, v.300 n.1-3, p.379-409, 07 May 2003 [doi>10.1016/S0304-3975(02)00333-X]
	13	A. Kennedy. Untrustworthy programming anguages. Talk at the Joint Queen Mary/Imperial College Seminar series, May 2005. Slides available at http://research.microsoft.com/~akenn/sec/index.htm.
	14	Leslie Lamport, Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 2002
	15	David Mazières , Dennis Shasha, Building secure file systems out of byzantine storage, Proceedings of the twenty-first annual symposium on Principles of distributed computing, July 21-24, 2002, Monterey, California [doi>10.1145/571825.571840]
	16	Ethan L. Miller , Darrell D. E. Long , William E. Freeman , Benjamin Reed, Strong Security for Network-Attached Storage, Proceedings of the Conference on File and Storage Technologies, p.1-13, January 28-30, 2002
	17	R. Milner. Fully abstract models of typed lambda-calculi. Theoretical Computer Science, 4(1):1--22, 1977.
	18	R. Milner. The polyadic pi-calculus: a tutorial. In F.L. Bauer, W. Brauer, and H. Schwichtenberg, editors, Logic and Algebra of Specification, pages 203--246. Springer-Verlag, 1993.
	19	R.D. Nicola and M.C.B. Hennessy. Testing equivalences for processes. Theoretical Computer Science, 34(1--2):83--133, Nov. 1984.
	20	Benjamin C. Reed , Edward G. Chron , Randal C. Burns , Darrell D. E. Long, Authenticating Network-Attached Storage, IEEE Micro, v.20 n.1, p.49-57, January 2000 [doi>10.1109/40.820053]
	21	Y. Zhu and Y. Hu. SNARE: A strong security scheme for network-attached storage. In SRDS'03: Proceedings of the 22nd Symposium on Reliable Distributed Systems, pages 250--259. IEEE Computer Society, 2003.