In: Proceedings of the Computer Security Foundations Workshop III, 1990, Franconia, NH, USA, pages 51-61. Piscataway, NJ, USA: IEEE Service Center, 1990.
Abstract: An extended Petri net formalism which can be used to model information flow security requirements is described. The proposed framework can be used to specify a range of security policies by making specific choices for the components of the model. It is believed that Petri nets provide an elegant way of modeling security policies in a distributed system. Two examples are given to illustrate the use of such a model.
Keywords: information flow security requirement (modelling by nets).