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 contributionpeer-review

17 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