Title :
Composing secure systems that have emergent properties
Author :
Zakinthinos, Aris ; Lee, E.S.
Author_Institution :
Aristotle Comput. Consulting Services Ltd., Toronto, Ont., Canada
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;
Conference_Titel :
Computer Security Foundations Workshop, 1998. Proceedings. 11th IEEE
Conference_Location :
Rockport, MA
Print_ISBN :
0-8186-8488-7
DOI :
10.1109/CSFW.1998.683161
