Title :
Hook-up property for information flow secure nets
Author :
Varadharajan, Vijay
Author_Institution :
Hewlett-Packard Labs., Bristol, UK
Abstract :
The paper addresses some of the issues related to the problem of composing secure systems to form a composite secure system. The author uses the Petri net based on information flow security model and develops several hook-up schemes for connecting secure information flow nets. He shows that it is possible to produce security composite nets from two component secure information flow nets
Keywords :
Petri nets; security of data; Petri net; composite secure system; hook-up schemes; information flow secure nets; secure systems; Carbon capture and storage; Computer security; Feeds; Information security; Mathematical model; Petri nets;
Conference_Titel :
Computer Security Foundations Workshop IV, 1991. Proceedings
Conference_Location :
Franconia, NH
Print_ISBN :
0-8186-2215-6
DOI :
10.1109/CSFW.1991.151582
