skip to main content
article
Free Access

The extended access matrix model of computer security

Authors Info & Claims
Published:01 August 1985Publication History
First page image

References

  1. Bell, D.E., L.J. LaPadula. "Secure Computer System: Unified Exposition and Multies Interpretation". Tech. Rept. MTR-2997, MITRE Corp., Bedford, Mass., July 1975.Google ScholarGoogle Scholar
  2. Conway, R.W., W.L. Maxwell, H.L. Morgan. "On the Implementation of Security Measures in Information Systems." Commun. ACM 15, 4 (April 1972), 211-220. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Department of Defense. Trusted Computer Systems Evaluation Criteria. CSC-STD-001-83 August 15, 1983.Google ScholarGoogle Scholar
  4. Good, D.I., R.M. Cohen, C.G. Hoch, L.W. Hunter, D.F. Hare. "Report on the Language Gypsy, Version 2.0". Tech.Rept. ICSCA-CMP-10, Institute for Computing Science, University of Texas at Austin, Austin, Texas, September, 1978.Google ScholarGoogle Scholar
  5. Graham, G.S., and P.J. Denning. Protection-Principles and Practice. Proceedings Spring Joint Computer Conference, Montvale, N.J., 1972, pp. 417-429.Google ScholarGoogle Scholar
  6. Harrison, M.A., W.L. Ruzzo, J.D. Ullman. "Protection in Operating Systems." Commun. ACM 19, 8 (August 1976), 461-471. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. Lampson, B.W. Protection. Proceedings 5th Princeton Symposium on Info. Sci. and Syst., Princeton University, March 1971.Google ScholarGoogle Scholar
  8. Schell, R.R. Security Kernels: A Methodical Design of System Security. Technical Papers, USE Inc. Spring Conference, March 5-9, 1979, pp. 245-250.Google ScholarGoogle Scholar
  9. Smith, Michael K. "Model and Design Proofs in Gypsy: An Example Using Bell and LaPadula". Tech. Rept. 122, Institute for Computing Science, University of Texas at Austin, Austin, Texas, November, 1983.Google ScholarGoogle Scholar

Recommendations

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Sign in

Full Access

  • Published in

    cover image ACM SIGSOFT Software Engineering Notes
    ACM SIGSOFT Software Engineering Notes  Volume 10, Issue 4
    Proceedings of VERkshop III -- a formal verification workshop
    August 1985
    135 pages
    ISSN:0163-5948
    DOI:10.1145/1012497
    Issue’s Table of Contents

    Copyright © 1985 Authors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 1 August 1985

    Check for updates

    Qualifiers

    • article

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader