Todd Fine, Spencer E. Minear  Home/Search
Context Related
| utah.edu/~sjt/semi...assuring_dtmach.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: jprc.com/Operating_System...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The Distributed Trusted Mach (DTMach) program is developing a design for a high-assurance, secure, distributed system based on Mach. To achieve this goal, it is first necessary to identify the general threats against which DTMach must protect. The next step is to identify control mechanisms that are sufficient to protect against each of the threats. The DTMach design makes extensive use of type enforcement in addressing the threats. This paper describes the general threats and the... (Update)
Context of citations to this paper: More
.... time, thus allowing users to choose the policy that best suits their needs when stating protection requirements on their data [22, 28, 29, 46, 50]. The definition and formalization of a set of policies specifying the working of the access control system, providing thus an...
...seals, or of any other seal. The design has been inspired by the Fluke micro kernel [14] and work on interposition in operating systems [12, 15, 16]. We have not addressed interposition of low level resources such as memory and the scheduler as this requires modifications to...
Cited by: More
Flexible Support for Multiple Access Control Policies - Sushil Jajodia George (2001) (Correct)
A Secure Network Server - Ajay Chitturi Chitturi (Correct)
Escort: Securing Scout Paths - Spatscheck (1999) (Correct)
Active bibliography (related documents): More All
0.6: Trusted Information Systems, Inc. - Smith, Jones (1988) (Correct)
0.2: A Domain and Type Enforcement UNIX Prototype - Badger (1996) (Correct)
0.2: Providing Policy Control Over Object Operations in a Mach Based.. - Minear (1995) (Correct)
Similar documents based on text: More All
0.5: Version Date 15 July 1998 COMPOSABILITY FOR SECURE SYSTEMS - Contract No Cdrl (Correct)
0.2: A Practical Approach to High Assurance Multilevel.. - Froscher, Kang.. (1994) (Correct)
0.0: Do Pine Trees in Aspen Stands Increase Bird Diversity? - Rumble, Flake, Mills, Dykstra (Correct)
Related documents from co-citation: More All
7: Providing policy control over object operations in a Mach-Based system - Minear - 1995
5: A practical alternative to hierarchical integrity policies (context) - BOEBERT, KAIN - 1985
5: A comparison of Commercial and Military Computer Security Policies (context) - Clark, Wilson - 1987
BibTeX entry: (Update)
T. Fine and S. E. Minear, "Assuring Distributed Trusted Mach," in Proc. 1993 IEEE Symposium on Research in Security and Privacy, (Oakland, CA), pp. 206--218, May 1993. http://citeseer.ist.psu.edu/fine93assuring.html More
@inproceedings{ fine93assuring,
author = "T. Fine and S. E. Minear",
title = "Assuring Distributed Trusted Mach",
booktitle = "Proceedings of the {IEEE} Symposium on Security and Privacy",
pages = "206--218",
year = "1993",
url = "citeseer.ist.psu.edu/fine93assuring.html" }
Citations (may not include all citations):261 Modern Operating Systems (context) - Tannenbaum - 1992
54 A Practical Alternative to Hierarchical Integrity Policies (context) - Boebert, Kain - 1985
48 A Secure Identity-Based Capability System - Gong - 1989
24 An Augmented Capability Architecture to Support Lattice Secu.. (context) - Karger, Herbert - 1984
15 Operating Systems Advanced Concepts (context) - Maekawa, Oldehoeft et al. - 1987
14 Access Mediation in a Message Passing Kernel (context) - Branstad, Tajalli et al. - 1989
14 Improving Security and Performance for Capability Systems (context) - Karger - 1988
9 Trusted Information Systems (context) - Kernel - 1991
6 LOCK Trek: Navigating Uncharted Space (context) - Saydjari, Beckman et al. - 1989
1 Mach 3 Kernel Principles (context) - Loepere - 1991
1 Secure Computing Corporation (context) - Specification, Trusted et al. - 1992
1 Secure Computing Corporation (context) - Segment, DTMach et al. - 1992
1 Network Server Design (context) - Group - 1989
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cora.jprc.com/Operating_Systems/Distributed/index.html): More
On Using Intelligent Network Interface Cards to.. - Fiuczynski, Martin, .. (1998) (Correct)
A Formal Semantics for Evaluating Cryptographic Protocols - Yasinsac, Wulf (1993) (Correct)
A Protocol for Removing Communication Intrusion in.. - Wu, Spezialetti, Gupta (1998) (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