D.E. Bell and L.J. LaPadula. Secure computer systems: Mathematical foundations. Technical Report ESD-TR-278, vol. 1, The Mitre Corp., Bedford, MA, 1973. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Unknown - (Correct)
No context found.
D.E. Bell and L.J. LaPadula. Secure computer systems: Mathematical foundations. Technical Report ESD-TR-278, vol. 1, The Mitre Corp., Bedford, MA, 1973.
Security Policy Enforcement in the Antigone System - McDaniel, Prakash (2005) (Correct)
No context found.
D. Bell and L. LaPadula. Secure Computer Systems: Mathematical Foundations and Model. Technical Report M74-244, MITRE Corporation, Bedford, MA, 1973.
Automated Trust Establishment in Open Systems - Yu (2003) (Correct)
No context found.
D. Bell and L. LaPadula. Secure Computer Systems: Mathematical Foundations and Model. Technical Report M74-244, Mitre Corporation, Belford, MA, 1975.
Improving Scenario-Driven Role Engineering Process with Aspects - Shu Gao Zhengfan (Correct)
No context found.
D. E. Bell and L. J. LaPadula. Secure Computer Systems: Mathematical Foundations and Model. M74244, Mitre Corporation, Bedford, Massachusetts, 1975.
JaCoWeb Security - A CORBA Security Discretionary Prototype - Westphall, Fraga.. (2001) (Correct)
No context found.
D. E. Bell and L. J. Lapadula, " Secure computer systems: Mathematical foundations and model," Tech. Rep. M74-244, MITRE Corp, October 1974.
Checking Secure Information Flow in Java Bytecode.. - Bernardeschi, De.. (Correct)
No context found.
D. E. Bell and L. J. La Padula. Secure computer systems: mathematical foundations and model. Technical Report M74-244, MITRE Corporation, Bedford, Massachusetts, 1973.
A Program Transformation Technique for Enforcement .. - Venkatakrishnan.. (Correct)
No context found.
D. E. Bell and L. J. LaPadula. Secure computer systems: Mathematical foundations. Technical Report MTR-2547, Vol. 1, MITRE Corp., Bedford, MA, 1973.
A Unified Approach for Preventing Attacks Exploiting a.. - Xu, Bhatkar, Sekar (Correct)
No context found.
D. E. Bell and L. J. LaPadula. Secure computer systems: Mathematical foundations. Technical Report MTR-2547, Vol. 1, MITRE Corp., Bedford, MA, 1973.
Proof Linking: A Modular Verification Architecture for Mobile Code .. - Fong (2004) (2 citations) (Correct)
No context found.
D. Elliot Bell and Leonard J. LaPadula. Secure computer systems: Mathematical foundations. Technical Report 2547 (Volume I), MITRE, March 1973.
DRM, Trusted Computing and Operating System Architecture - Reid, Caelli (2005) (Correct)
No context found.
Bell, D.E. and LaPadula, L.J (1973). Secure computer systems: Mathematical foundations and model. Technical Report M74 244, The MITRE Corp., Bedford MA.
A Logic for Information Flow Analysis of Pointer Programs - Amtoft, Bandhakavi, Banerjee (2005) (1 citation) (Correct)
No context found.
D. Bell and L. LaPadula. Secure computer systems: Mathematical foundations. Technical Report MTR-2547, MITRE Corp., 1973.
Information Flow Analysis in Logical Form - Amtoft, Banerjee (2004) (7 citations) (Correct)
No context found.
D.E. Bell and L.J. LaPadula. Secure computer systems: Mathematical foundations. Technical Report MTR-2547, MITRE Corp., 1973.
A Logic for Information Flow Analysis of Pointer Programs - Amtoft, Bandhakavi, Banerjee (2005) (1 citation) (Correct)
No context found.
D. Bell and L. LaPadula. Secure computer systems: Mathematical foundations. Technical Report MTR-2547, MITRE Corp., 1973.
A Logic for Information Flow Analysis with an Application to .. - Amtoft, Banerjee (2005) (Correct)
No context found.
D.E. Bell and L.J. LaPadula. Secure computer systems: Mathematical foundations. Technical Report MTR-2547, MITRE Corp., 1973.
Improving Scenario-Driven Role Engineering Process with Aspects - Gao, Dai, Yu (2004) (Correct)
No context found.
D. E. Bell and L. J. LaPadula. Secure Computer Systems: Mathematical Foundations and Model. M74244, Mitre Corporation, Bedford, Massachusetts, 1975.
DRM, Trusted Computing and Operating System Architecture - Reid, Caelli (2005) (Correct)
No context found.
Bell, D.E. and LaPadula, L.J (1973). Secure computer systems: Mathematical foundations and model. Technical Report M74 244, The MITRE Corp., Bedford MA.
Vision Paper: Enabling Privacy for the Paranoids - Aggarwal Bawa Ganesan (2004) (Correct)
No context found.
D. E. Bell and L. J. LaPadula. Secure computer systems: mathematical foundations and model. Technical report, MITRE, 1974.
Performance study of a COTS Distributed DBMS adapted for.. - Garuba (2004) (Correct)
No context found.
D.E. Bell and L.J. LaPadula. Secure computer systems: Mathematical foundations and model. Technical Report ESD-TR-73-278-2, MITRE Corporation, Bedford, Massachusetts, November 1973.
Performance study of a COTS Distributed DBMS adapted for.. - Garuba (2004) (Correct)
No context found.
D.E. Bell and L.J. LaPadula. Secure computer systems: Mathematical foundations and model. Technical Report ESD-TR-73-278-1, MITRE Corporation, Bedford, Massachusetts, November 1973.
A New Approach to Mobile Code Security - Wallach (1999) (21 citations) (Correct)
No context found.
D. Elliot Bell and Leonard J. LaPadula. Secure computer systems: Mathematical foundations. Technical Report MTR-2547-I, MITRE Corporation, March 1973.
Secure Isolation and Migration of Untrusted Legacy Applications - Jason (2004) (1 citation) (Correct)
No context found.
D. E. Bell and L. J. LaPadula. Secure Computer Systems: Mathematical Foundations and Model. Technical Report ESD-TR-74-244, Mitre Corp, Bedford, MA, May 1973. 15
Scalable Hierarchical Access Control in Secure - Group Communications Yan (2004) (Correct)
No context found.
D. Bell and L. La Padula, "Secure computer systems: Mathematical foundations and model," in MITRE Report, M74-244, MTR 2547 v2, Nov. 1973.
Programming Languages for Mobile Code - Thorn (1999) (74 citations) (Correct)
No context found.
D. Bell and L. LaPadula. Secure computer system: Mathematical foundations and model. Technical Report M74-244, MITRE Corp., 1973.
Security Issues for Automated Information Systems - Irvine (2000) (1 citation) (Correct)
No context found.
Bell DE, LaPadula L. Secure Computer Systems: Mathematical Foundations and Model. M74-244, MITRE Corp., Bedford, MA, 1973.
Network Working Group R. Atkinson Request for Comments: 1825.. - Status Of This (Correct)
No context found.
Bell, D.E. & LaPadula, L.J., "Secure Computer Systems: Mathematical Foundations and Model", Technical Report M74-244, The MITRE Corporation, Bedford, MA, May 1973.
First 50 documents Next 50
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