An Extended Petri Net Model for Supporting Workflows in a Multilevel Secure Environment.

Vijayalakshmi Atluri, Wei-kuang Huang

Browse the full DBSEC paper archive.