Security Algebras and Formal Models: Using Petri Net Theory.

Tsau Young Lin, Larry Kerschberg, Robert P. Trueblood

Browse the full DBSEC paper archive.