John McDermott, David Goldschlag  Home/Search
Context Related
| navy.mil/ITD/5540/personnel...csfw96.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: navy.mil/ITD/5540/personn...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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... (Update)
Context of citations to this paper: More
.... identified database management aspects that determine the vulnerability to information warfare attacks [8] McDermott and Goldschlag [16, 17] developed storage jamming, which can be used to seed a database with dummy values, access to which indicates the presence of an intruder....
...s work back into the real system should B prove innocent. This work has relevance to information warfare (IW) defense [AJMB97, GSM96, MG96a, MG96b, PG99] As pointed out by Ammann, et al. AJMB97] IW defense does everything possible to prevent attacks from succeeding, but it...
Cited by: More
A Fault Tolerance Approach to Survivability - Ammann, Jajodia, Liu (1999) (Correct)
Intrusion Confinement By Isolation In Information Systems - Liu, Jajodia, McCollum (2000) (Correct)
Intrusion Confinement by Isolation in Information Systems - Liu, Jajodia, McCollum (2000) (Correct)
Similar documents (at the sentence level):
9.5%: Mechanically Verifying Concurrent Programs - Goldschlag (1992) (Correct)
9.1%: Mechanically Verifying Safety and Liveness Properties of Delay.. - Goldschlag (1994) (Correct)
9.1%: Storage Jamming - McDermott, Goldschlag (1996) (Correct)
Active bibliography (related documents): More All
0.6: Practical Defenses Against Storage Jamming - McDermott, Froscher (1997) (Correct)
0.5: Separation of Duties in Computerized Information Systems - Sandhu (1990) (Correct)
0.5: On Five Definitions of Data Integrity - Sandhu (1993) (Correct)
Similar documents based on text: More All
0.7: Radio Jamming Attacks Against Two Popular Mobile Networks - Ståhlberg (Correct)
0.6: Doc, Wyatt, and Virgil: Prototyping Storage Jamming Defenses - McDermott, Gelinas.. (1997) (Correct)
0.6: Replication Does Survive Information Warfare Attacks - McDermott (1997) (Correct)
Related documents from co-citation: More All
11: Storage jamming - MCDERMOTT, GOLDSCHLAG - 1996
9: Surviving information warfare attacks on databases - Ammann, Jajodia et al. - 1997
7: Defending database management systems against information warfare attacks (context) - Graubart, Schlipper et al. - 1996
BibTeX entry: (Update)
McDermott, J. and Goldschlag, D. Towards a model of storage jamming. In Proceedings IEEE Computer Security Foundations Workshop, Kenmare, Ireland, June 1996. http://citeseer.ist.psu.edu/mcdermott96towards.html More
@inproceedings{ mcdermott96towards,
author = "John McDermott and David Goldschlag",
title = "Towards a Model of Storage Jamming",
booktitle = "{PCSFW}: Proceedings of The 9th Computer Security Foundations Workshop",
publisher = "IEEE Computer Society Press",
year = "1996",
url = "citeseer.ist.psu.edu/mcdermott96towards.html" }
Citations (may not include all citations):716 Parallel Program Design: A Foundation (context) - CHANDY, MISRA - 1988
173 A comparison of commercial and military computer security po.. (context) - CLARK, WILSON - 1987
54 A practical alternative to hierarchical integrity policies (context) - BOEBERT, KAIN - 1985
29 Separation of duties in computerized information systems - SANDHU - 1991
16 Storage jamming - MCDERMOTT, GOLDSCHLAG - 1996
12 Integrity mechanisms in database management systems - SANDHU, JAJODIA - 1990
6 A comparison of type enforcement and Unix setuid implementat.. - THOMSEN, HAIGH - 1990
6 Rooting UNITY (context) - GERTH, PNUELI - 1989
5 Report of the Invitational Workshop on Integrity Policy in C.. (context) - KATZKE, RUTHBERG - 1989
4 criteria and system architectures for data integrity (context) - SANDHU - 1989
4 Report of the Invitational Workshop on Data Integrity (context) - RUTHBERG, POLK - 1989
4 The control of integrity in databases (context) - WISEMAN - 1991
3 The trusted path between SMITE and the user (context) - WISEMAN, TERRY et al. - 1988
2 Report of the Summer Study Task Force on Information Archite.. (context) - BOARD - 1994
2 Soundness and Relative Completeness of Unity Logic (context) - KNAPP - 1990
2 Integrity controls for commercial and military applications (context) - JUNEMAN - 1989
1 The Glossary of Electronic Warfare (context) - VAN BRUNT - 1984
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.itd.nrl.navy.mil/ITD/5540/personnel/goldschlag/publications/index.html): More
A Formal Model of Several Fundamental VHDL Concepts - Goldschlag (1994) (Correct)
Anonymous Connections and Onion Routing - Syverson, Goldschlag, Reed (1997) (Correct)
Improving Inter-Enclave Information Flow for a.. - Froscher.. (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC