A Petri net based safety analysis of workflow authorization models ^1[J] . Vijayalakshmi Atluri,Wei‐Kuang Huang.Journal of Computer Security . 2000 (2,3)
A Petri net based safety analysis of workflow authorization models ^1[J] . Vijayalakshmi Atluri,Wei‐Kuang Huang.Journal of Computer Security . 2000 (2,3)