See this document in CiteSeerX!

A Practical Approach to High Assurance Multilevel Secure Computing Service (1994)  (Make Corrections)  (6 citations)
J.N. Froscher, M. Kang, J. McDermott, O. Costich, C. E. Landwehr



  Home/Search   Context   Related

 
View or download:
navy.mil/ITD/5540/...4froscheracsac.ps
navy.mil/publicati...4froscheracsac.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  navy.mil/ITD/5540/p...SINTRAindex (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Current projects aimed at providing MLS computing services rarely seem to exploit advances in related fields. Specifically, the concepts of data distribution, replication, and interoperation are currently receiving much attention in the commercial database system sector but have yet to be applied to the delivery of MLS computing services. This paper explains how these concepts might help deliver MLS computing services relatively quickly and cheaply, and how they can ease integration of legacy... (Update)

Context of citations to this paper:   More

...would process transactions of a given level. Some type of trusted interconnection device, such as the Naval Research Laboratory Pump [3], would be used between these single level systems. This solution becomes unwieldy, if not impractical, when faced with the gazillion problem...

.... which no notion of sufficiency or completeness with respect to security policy enforcement can be demonstrated; or replication systems [8]. If the number of access classes to be supported is high, then the use of physical separation becomes cumbersome, costly, and inflexible in...

Cited by:   More
MYSEA Security Architecture - Irvine, Shifflett, Clark, Levin.. (2002)   (Correct)
The JMCIS Information Flow Improvement (JIFI) Assurance Strategy - Moore   (Correct)
A Client-Server Architecture Supporting Mls.. - Froscher Kang Naval (1997)   (Correct)

Active bibliography (related documents):   More   All
1.1:   Achieving Database Security Through Data.. - Kang, Froscher.. (1994)   (Correct)
0.7:   Hidden Safety Requirements in Large Scale Systems - Landwehr (1994)   (Correct)
0.5:   Architectural Impact on Performance of a Multilevel Database.. - Myong Kang (1994)   (Correct)

Similar documents based on text:   More   All
0.4:   Towards an Infrastructure for MLS Distributed Computing - Myong Kang (1998)   (Correct)
0.4:   A Strategy for an MLS Workflow Management System - Kang, Froscher, Eppinger.. (1999)   (Correct)
0.4:   A Security Model for Military Message Systems: Retrospective - Landwehr, Heitmeyer, McLean (2001)   (Correct)

Related documents from co-citation:   More   All
3:   Intel. Intel Architecture Software Devloper's Manual, Volume 1: Basic Architecture. Intel Corporation, Santa Clara, CA, 1997.
2:   A Near-Term Design for the SeaView Multilevel Database System (context) - Lunt, Schell et al. - 1988
2:   A multilevel file system for high assurance - Irvine - 1995

BibTeX entry:   (Update)

J. N. Froscher, M. Kang, J. McDermott, O. Costich, and C. E. Landwehr. "A Practical Approach to High Assurance Multilevel Secure Computing Service," Proc. 10th Computer Security Applications Conference, Orlando, Florida, Dec. 1994. http://citeseer.ist.psu.edu/froscher94practical.html   More

@misc{ froscher94practical,
  author = "J. Froscher and M. Kang and J. McDermott and O. Costich and C. Landwehr",
  title = "A Practical Approach to High Assurance Multilevel Secure Computing Service",
  text = "J. N. Froscher, M. Kang, J. McDermott, O. Costich, and C. E. Landwehr.
    A Practical Approach to High Assurance Multilevel Secure Computing Service,
    Proc. 10th Computer Security Applications Conference, Orlando, Florida,
    Dec. 1994.",
  year = "1994",
  url = "citeseer.ist.psu.edu/froscher94practical.html" }
Citations (may not include all citations):
101   The Multics System : An Examination of its Structure (context) - Organick - 1972
60   Specifications for Multilevel Security and a Hook-Up Propert.. (context) - Daryl - 1987
56   A General Theory of Composition for Trace Sets Closed under .. - McLean - 1994
34   The Promise of Distributed Computing and the Challenge of Le.. - Brodie - 1992
32   A Distributed Secure System - Rushby, Randell
22   The Algebra of Security (context) - John - 1988
18   Assuring Distributed Trusted Mach - Todd, Minear - 1993
14   A Pump for Rapid, Reliable, Secure Communication - Kang - 1993
14   Access Mediation in a Message Passing Kernel (context) - Martha, Tajalli et al. - 1989
13   A Practical Transaction Model and Untrusted Transaction Mana.. - Kang, Costich et al. - 1993
13   A Single-Level Scheduler for the Replicated Architecture for.. - McDermott, Jajodia et al. - 1991
11   Achieving a Trusted Database Management System Using Paralle.. (context) - Froscher - 1989
10   Transaction Processing Using an Untrusted Scheduler in a Mul.. - Costich - 1992
10   The Best Available Technologies for Computer Security (context) - Carl - 1983
8   Architectural Implications of Covert Channels (context) - Proctor - 1992
8   Achieving Database Security through Data Replication: The SI.. - Kang, Froscher et al. - 1994
8   UCLA Secure UNIX (context) - Popek, Kampe et al. - 1979
7   Maintaining Multilevel Transaction Atomicity in MLS Database.. - Costich - 1994
7   Security Requirements for Automated Information Systems (context) - Directive - 1988
6   A Multilevel Transaction Problem for Multilevel Secure Datab.. - Costich, McDermott - 1992
4   Composable Security Properties (context) - McLean, Meadows - 1989
4   National Research Council (context) - Management, Force et al. - 1983
3   Performance Analysis of Transaction Management Algorithms fo.. (context) - McDermott - 1994
3   How Far Can You Trust a Computer - Carl - 1993
2   National Computer Security Center NCSC-TG (context) - Management, of et al. - 1991
2   COMPUSEC: A Personal View (context) - Lubbes - 1993
2   Naval Research Laboratory (context) - NCSC, on et al. - 1987
2   Design Documentation for the SINTRA Global Scheduler - Kang - 1993
2   Synergy: A Distributed Microkernel-based Security Architectu.. (context) - Saydjari, Sami et al. - 1993
2   National Computer Security Center NCSC-TG (context) - Interpretation, TCSEC - 1987
1   Evolution of a Trusted B3 Window System Prototype (context) - Epstein - 1992
1   Computer Security Center Rep (context) - Report, Inf et al. - 1985
1   DoD Legacy Systems; Reverse Engineering Data Requirements (context) - Aikens, Muntz et al. - 1994
1   Verbal comments at NRL/NCSC Invitational Workshop on UNIX an.. (context) - Gligor - 1987



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/SINTRAindex.html):   More
A Single-Level Scheduler for the Replicated Architecture for.. - McDermott, al. (1991)   (Correct)
A Practical Transaction Model and Untrusted Transaction.. - Kang, Costich, Froscher (1992)   (Correct)
A Pump for Rapid, Reliable, Secure Communication - Myong Kang (1993)   (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