Petri net based modelling of information flow security requirements

Vijay Varadharajan

doi:10.1109/CSFW.1990.128185

Petri net based modelling of information flow security requirements

Vijay Varadharajan^*

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

21 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 language	English
Title of host publication	Proceedings. The Computer Security Foundations Workshop III
Place of Publication	Piscataway, N.J.
Publisher	Institute of Electrical and Electronics Engineers (IEEE)
Pages	51-61
Number of pages	11
ISBN (Print)	0818620714
DOIs	https://doi.org/10.1109/CSFW.1990.128185
Publication status	Published - Jun 1990
Externally published	Yes
Event	Proceedings of the Computer Security Foundations Workshop III - Franconia, NH, USA Duration: 12 Jun 1990 → 14 Jun 1990

Other

Other	Proceedings of the Computer Security Foundations Workshop III
City	Franconia, NH, USA
Period	12/06/90 → 14/06/90

Access to Document

10.1109/CSFW.1990.128185

Cite this

@inproceedings{510f7df9960c4feda6935b75677a196b,

title = "Petri net based modelling of information flow security requirements",

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.",

author = "Vijay Varadharajan",

year = "1990",

month = jun,

doi = "10.1109/CSFW.1990.128185",

language = "English",

isbn = "0818620714",

pages = "51--61",

booktitle = "Proceedings. The Computer Security Foundations Workshop III",

publisher = "Institute of Electrical and Electronics Engineers (IEEE)",

address = "United States",

note = "Proceedings of the Computer Security Foundations Workshop III ; Conference date: 12-06-1990 Through 14-06-1990",

}

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

TY - GEN

T1 - Petri net based modelling of information flow security requirements

AU - Varadharajan, Vijay

PY - 1990/6

Y1 - 1990/6

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/0025686834

U2 - 10.1109/CSFW.1990.128185

DO - 10.1109/CSFW.1990.128185

M3 - Conference proceeding contribution

AN - SCOPUS:0025686834

SN - 0818620714

SP - 51

EP - 61

BT - Proceedings. The Computer Security Foundations Workshop III

PB - Institute of Electrical and Electronics Engineers (IEEE)

CY - Piscataway, N.J.

T2 - Proceedings of the Computer Security Foundations Workshop III

Y2 - 12 June 1990 through 14 June 1990

ER -

Petri net based modelling of information flow security requirements

Abstract

Other

Access to Document

Other files and links

Fingerprint

Cite this