%0 Journal Article %1 journals/compsec/ArmandoP14 %A Armando, Alessandro %A Ponta, Serena Elisa %D 2014 %J Comput. Secur. %K dblp %P 1-22 %T Model checking authorization requirements in business processes. %U http://dblp.uni-trier.de/db/journals/compsec/compsec40.html#ArmandoP14 %V 40

@article{journals/compsec/ArmandoP14, added-at = {2023-08-28T00:00:00.000+0200}, author = {Armando, Alessandro and Ponta, Serena Elisa}, biburl = {https://www.bibsonomy.org/bibtex/2b43e439011920cc393f82041cdede725/dblp}, ee = {https://www.wikidata.org/entity/Q115060840}, interhash = {97ac06e54fde882b9ce6c66f9e346db5}, intrahash = {b43e439011920cc393f82041cdede725}, journal = {Comput. Secur.}, keywords = {dblp}, pages = {1-22}, timestamp = {2024-04-09T03:30:08.000+0200}, title = {Model checking authorization requirements in business processes.}, url = {http://dblp.uni-trier.de/db/journals/compsec/compsec40.html#ArmandoP14}, volume = 40, year = 2014 }