• DocumentCode
    564746
  • Title

    A Secure Capability Computer System

  • Author

    Wiseman, Simon

  • Author_Institution
    Royal Signals and Radar Establishment
  • fYear
    1986
  • fDate
    7-9 April 1986
  • Firstpage
    86
  • Lastpage
    86
  • Abstract
    A secure computer system based on a capability architecture is described. Abstract types are used to provide separation and the reference monitor function. By providing a trusted path from the user to security critical operations, full discretionary and mandatory access controls are enforced.
  • Keywords
    Abstracts; Computers; Flexible printed circuits; Monitoring; Software; Trojan horses;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Security and Privacy, 1986 IEEE Symposium on
  • Conference_Location
    Oakland, CA, USA
  • ISSN
    1540-7993
  • Print_ISBN
    0-8186-0716-5
  • Type

    conf

  • DOI
    10.1109/SP.1986.10007
  • Filename
    6234870