Petri net based modelling of information flow security requirements

Vijay Varadharajan*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

15 Citations (Scopus)

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. The ability to model concurrency, the structural generality of Petri nets, and the existence of powerful analytical techniques make the Petri-net modeling approach even more useful. Two examples are given to illustrate the use of such a model.

Original languageEnglish
Title of host publicationProceedings. The Computer Security Foundations Workshop III
Place of PublicationPiscataway, N.J.
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Pages51-61
Number of pages11
ISBN (Print)0818620714
DOIs
Publication statusPublished - Jun 1990
Externally publishedYes
EventProceedings of the Computer Security Foundations Workshop III - Franconia, NH, USA
Duration: 12 Jun 199014 Jun 1990

Other

OtherProceedings of the Computer Security Foundations Workshop III
CityFranconia, NH, USA
Period12/06/9014/06/90

Fingerprint Dive into the research topics of 'Petri net based modelling of information flow security requirements'. Together they form a unique fingerprint.

  • Cite this

    Varadharajan, V. (1990). Petri net based modelling of information flow security requirements. In Proceedings. The Computer Security Foundations Workshop III (pp. 51-61). [128185] Piscataway, N.J.: Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/CSFW.1990.128185