%0 Journal Article %1 journals/jcs/AtluriH00 %A Atluri, Vijayalakshmi %A kuang Huang, Wei %D 2000 %J J. Comput. Secur. %K dblp %N 2/3 %P 209-240 %T A Petri Net Based Safety Analysis of Workflow Authorization Models. %U http://dblp.uni-trier.de/db/journals/jcs/jcs8.html#AtluriH00 %V 8

@article{journals/jcs/AtluriH00, added-at = {2023-08-28T00:00:00.000+0200}, author = {Atluri, Vijayalakshmi and kuang Huang, Wei}, biburl = {https://www.bibsonomy.org/bibtex/28649c8cc597e2803b9b5cf427c250fd1/dblp}, ee = {https://www.wikidata.org/entity/Q114944334}, interhash = {a6a64d688802a282398648d46c181937}, intrahash = {8649c8cc597e2803b9b5cf427c250fd1}, journal = {J. Comput. Secur.}, keywords = {dblp}, number = {2/3}, pages = {209-240}, timestamp = {2024-04-09T05:17:18.000+0200}, title = {A Petri Net Based Safety Analysis of Workflow Authorization Models.}, url = {http://dblp.uni-trier.de/db/journals/jcs/jcs8.html#AtluriH00}, volume = 8, year = 2000 }