• DocumentCode
    2137862
  • Title

    A comparison of non-interference and non-deducibility using CSP

  • Author

    Allen, P.G.

  • Author_Institution
    Hewlett-Packard Labs., Bristol, UK
  • fYear
    1991
  • fDate
    18-20 Jun 1991
  • Firstpage
    43
  • Lastpage
    54
  • Abstract
    The paper studies the relationship between the flow properties non-deducibility (ND) and non-interference (NI) in a uniform framework: CSP. It proposes a further flow property which eliminates certain undesirable features of NI and ND. It considers the preservation of these properties under composition. Finally, it informally explores the meaning of non-deducibility on strategies, identifying system properties which make a strategy attack possible
  • Keywords
    formal languages; security of data; CSP; flow properties; nondeducibility; noninterference; security properties; strategy attack; Feedback; Interference; Laboratories; Neodymium; Random variables;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Security Foundations Workshop IV, 1991. Proceedings
  • Conference_Location
    Franconia, NH
  • Print_ISBN
    0-8186-2215-6
  • Type

    conf

  • DOI
    10.1109/CSFW.1991.151568
  • Filename
    151568
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2137862