Title :
Verifying system security using Petri Nets
Author :
Castano, S. ; Samarati, P. ; Villa, C.
Author_Institution :
Dipartimento di Elettron. e Inf., Politecnico di Milano, Italy
Abstract :
A tool for verifying security properties of data is described, based on colored Petri nets. A conceptual data model for complex applications and a mandatory security model based on the principles of Bell-LaPadula are presented. The tool operates on such models, using the Petri net analysis techniques, based on the reachability graph. The absence of interference of sensitive associations, the reachability of information, and the temporal relationships among data access properties are studied, and conditions on the reachability graph are defined, to guarantee that such properties hold in the system
Keywords :
Petri nets; reachability analysis; security of data; colored Petri nets; data; data access; reachability graph; system security; Data security; Petri nets;
Conference_Titel :
Security Technology, 1993. Security Technology, Proceedings. Institute of Electrical and Electronics Engineers 1993 International Carnahan Conference on
Conference_Location :
Ottawa, Ont.
Print_ISBN :
0-7803-1479-4
DOI :
10.1109/CCST.1993.386794
