• DocumentCode
    2325823
  • Title

    Composing secure systems that have emergent properties

  • Author

    Zakinthinos, Aris ; Lee, E.S.

  • Author_Institution
    Aristotle Comput. Consulting Services Ltd., Toronto, Ont., Canada
  • fYear
    1998
  • fDate
    9-11 Jun 1998
  • Firstpage
    117
  • Lastpage
    122
  • Abstract
    A property is said to emerge if not all of its constituent components satisfy the property. The paper proves the existence of emergent properties and investigates how a property might emerge. The authors introduce a condition called stability on properties that allows one to predict under what circumstances a property might emerge
  • Keywords
    security of data; emergent properties; secure system composition; stability; Argon; Bridges; Security; Stability;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Security Foundations Workshop, 1998. Proceedings. 11th IEEE
  • Conference_Location
    Rockport, MA
  • ISSN
    1063-6900
  • Print_ISBN
    0-8186-8488-7
  • Type

    conf

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