Hook-up property for information flow secure nets

摘要

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.