Modeling of MULTI SAFE Protection Enforcement Processes with Extended Petri Nets

Hartson, H. Rex and Balliet, Earl J. (1981) Modeling of MULTI SAFE Protection Enforcement Processes with Extended Petri Nets. Technical Report CS81005-R, Computer Science, Virginia Tech.

Full text available as:
PDF - Requires Adobe Acrobat Reader or other PDF viewer.
CS81005-R.pdf (2200096)

Abstract

The various kinds of access decision dependency within a predicate-based model of database protection are classified according to cost of enforcement. Petri nets and some useful extensions are described. Extended Petri nets are used to model the flow of messages and data during protection enforcement within MULTISAFE, a multimodule system architecture for secure database management. The model demonstrates that stated criteria for security are met within MULTISAFE. Of particular interest is the modeling of data dependent access conditions with predicates at Petri net transitions.

Item Type:	Departmental Technical Report
Keywords:	Database security, Petri nets, predicate-based protection, modeling, data dependent checking, MULTISAFE, enforcement
Subjects:	Computer Science > Historical Collection(Till Dec 2001)
ID Code:	862
Deposited By:	Administrator, Eprints
Deposited On:	10 May 2006