Security Algebras and Formal Models: Using Petri Net Theory.

Tsau Young Lin Larry Kerschberg Robert P. Trueblood Security Algebras and Formal Models: Using Petri Net Theory. 75-96 1989 DBSec db/conf/dbsec/dbsec89.html#LinKT89