Towards a model of storage jamming

CC
CSFW
1996
Ninth IEEE Computer Security Foundations Workshop
Abstract - Towards a model of storage jamming

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by J. McDermott Articles by D. Goldschlag

Ninth IEEE Computer Security Foundations Workshop

Dromquinna Manor, Kenmare, County Kerry, Ireland

March 10-March 12

ISBN: 0-8186-7522-5

	ASCII Text	x
	J. McDermott, D. Goldschlag, "Towards a model of storage jamming," Computer Security Foundations Workshop, IEEE, pp. 176, Ninth IEEE Computer Security Foundations Workshop, 1996.

	BibTex	x
	@article{ 10.1109/CSFW.1996.503703, author = {J. McDermott and D. Goldschlag}, title = {Towards a model of storage jamming}, journal ={Computer Security Foundations Workshop, IEEE}, volume = {0}, year = {1996}, issn = {1063-6900}, pages = {176}, doi = {http://doi.ieeecomputersociety.org/10.1109/CSFW.1996.503703}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Computer Security Foundations Workshop, IEEE TI - Towards a model of storage jamming SN - 1063-6900 SP EP A1 - J. McDermott, A1 - D. Goldschlag, PY - 1996 KW - access control; security of data; cryptography; storage jamming model; access controls; cryptographic techniques; detection mechanism; Unity logic; high-level operators; susceptibility; rate of jamming; persistent values VL - 0 JA - Computer Security Foundations Workshop, IEEE ER -

J. McDermott, Center for High Assurance Comput. Syst., Naval Res. Lab., Washington, DC, USA

D. Goldschlag, Center for High Assurance Comput. Syst., Naval Res. Lab., Washington, DC, USA

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CSFW.1996.503703

Storage jamming can degrade real-world activities that share stored data. Storage jamming is not prevented by access controls or cryptographic techniques. Verification to rule out storage jamming logic is impractical for shrink-wrapped software or low-cost custom applications. Detection mechanisms do offer more promise. In this paper, we model storage jamming and a detection mechanism, using Unity logic. We find that Unity logic, in conjunction with some high-level operators, models storage jamming in a natural way and allows us to reason about susceptibility, rate of jamming, and impact on persistent values.

Index Terms:

access control; security of data; cryptography; storage jamming model; access controls; cryptographic techniques; detection mechanism; Unity logic; high-level operators; susceptibility; rate of jamming; persistent values

Citation:

J. McDermott, D. Goldschlag, "Towards a model of storage jamming," csfw, pp.176, Ninth IEEE Computer Security Foundations Workshop, 1996

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.