This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Ninth IEEE Computer Security Foundations Workshop
Towards a model of storage jamming
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
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
Usage of this product signifies your acceptance of the Terms of Use.