Ira S. Moskowitz, Myong H. Kang  Home/Search
Context Related
| navy.mil/ITD/5540/...skowitzcompass.ps navy.mil/publicati...skowitzcompass.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/pub...index1994 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We discuss the difficulties of satisfying high-assurance system requirements without sacrificing system capabilities. To alleviate this problem, we show how trade-offs can be made to reduce the threat of covert channels. We also clarify certain concepts in the theory of covert channels. Traditionally, a covert channel's vulnerability was measured by the capacity. We show why a capacity analysis alone is not sufficient to evaluate the vulnerability and introduce a new metric referred to as the... (Update)
Similar documents based on text: More All
0.7: Discussion of a Statistical Channel - Moskowitz, Kang (1994) (Correct)
0.7: The Modulated-Input Modulated-Output Model - Moskowitz, Kang (1995) (Correct)
0.6: A Network Version of the Pump - Kang, Moskowitz, Lee (1995) (Correct)
Related documents from co-citation: More All
7: A Note on the Confinement Problem - Lampson - 1973
6: A pump for rapid, reliable, secure communication - Kang, Moskowitz - 1993
5: Techniques for Data Hiding (context) - Bender, Gruhl et al. - 1995
BibTeX entry: (Update)
I. S. Moskowitz and M. H. Kang. "Covert channels --- Here to stay?," Proceedings COMPASS '94, pp. 235 - 243, Gaithersburg, MD, 1994. http://citeseer.ist.psu.edu/moskowitz94covert.html More
@inproceedings{ moskowitz94covert,
author = "Ira S. Moskowitz and Myong H. Kang",
title = "Covert Channels - Here to Stay?",
booktitle = "Compass'94: 9th Annual Conference on Computer Assurance",
publisher = "National Institute of Standards and Technology",
address = "Gaithersburg, MD",
pages = "235--244",
year = "1994",
url = "citeseer.ist.psu.edu/moskowitz94covert.html" }
Citations (may not include all citations):265 Secure Computer System: Unified Exposition and Multics Inter.. (context) - Bell, Padula - 1976
153 A note on the confinement problem - Lampson - 1973
76 Trusted Computer System Evaluation Criteria (context) - Defense, Security - 1985
55 Security models and information flow - McLean - 1990
41 Toward a mathematical foundation for information flow securi.. (context) - Gray - 1992
37 IEEE Transactions on Information Theory (context) - Golomb, behavior et al. - 1980
26 On channel capacity per unit cost (context) - Verd'u - 1990
25 Integrating an object-oriented data model with multilevel se.. (context) - Jajodia, Kogan - 1990
24 IEEE Transaction on Software Engineering (context) - et, seaview et al. - 1990
14 The channel capacity of a certain noisy timing channel (context) - Moskowitz, Miller - 1992
13 Finite-state noiseless covert channels (context) - Millen - 1989
10 Simple timing channels - Moskowitz, Miller - 1994
7 Reduction of a class of Fox-Wright Psi functions for certain.. - Miller, Moskowitz - 1993
7 Analysis of a storage channel in the two-phase commit protoc.. (context) - Costich, Moskowitz - 1991
7 Also appeared as a series of papers by Shannon in the Bell S.. (context) - Shannon, Weaver et al. - 1949
6 The Turing test and noninformation flow (context) - Browne - 1991
6 The concurrency control and recovery problem for multilevel .. - Mathur, Keefe - 1993
6 The influence of delay upon an idealized channel's bandwidth (context) - Moskowitz, Miller - 1992
5 Supporting timing-channel free computations in multilevel se.. - Sandhu, Thomas et al. - 1992
4 Kang and Ira S (context) - Myong - 1993
3 Private Communication (context) - Wittbold
2 best-effort realtime scheduler (context) - Boucher, Clark et al. - 1994
1 Private Communication and comments at various meetings (context) - Morris
1 Maintaining transaction atomicity in multilevel secure datab.. (context) - Costich, Jajodia - 1993
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/publications/CHACS/1994/index1994.html): More
A Formal Model of Several Fundamental VHDL Concepts - Goldschlag (1994) (Correct)
Simple Timing Channels - Moskowitz, Miller (1994) (Correct)
A Model of Computation for the NRL Protocol Analyzer - Meadows (1994) (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