For the most recent entries see the Petri Nets Newsletter.

Security Algebras and Formal Models: Using Petri Net Theory.

Lin, Tsau Young; Kerschberg, Larry; Trueblood, Robert P.

In: Database Security, Status and Prospects. Results of the Third IFIP WG 11 3 Workshop, 1989, Monterey, USA, pages 75-96. Amsterdam: North-Holland, 1990.

Abstract: In a multilevel secure database system every entity described by a query should have a security classification. Since every query in a database can be described by a relational algebra, one would like to have a security algebra to `compute' the security classification. One of the main goals of this paper is to develop such an security algebra. The authors introduce a new security model GIFM (generalized information flow model), classify the authorization according to the complexity of the automation of the authorization and apply it to database systems.

Keywords: security algebra; relational algebra; security classification; information flow model, (generalized); authorization classification; database system.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography