7Vijayalakshmi Atluri and Wei-Kuang Huang. A Petri Net Based Safety Analysis of Workflow Authorization Models. Journal of Computer Security, to appear, 1999.
8Vijayalakshmi Atluri and Wei-Kuang Huang. An Authorization Model for Workflows. In Proceedings of the Fifth European Symposium on Research in Computer Security, in Lecture Notes in Computer Science, No.1146, Springer-Verlag, September 1996.
9Nabil R. Adam, Vijayalakshmi Atluri, and Wei-Kuang Huang.Modeling and Analysis of Work-flows Using Petri Nets. Journal of Intelligent Information Systems, 10(2), 1998.
