%0 Conference Paper %1 conf/stm/BarlettaRV12 %A Barletta, Michele %A Ranise, Silvio %A Viganò, Luca %B STM %D 2012 %E Jøsang, Audun %E Samarati, Pierangela %E Petrocchi, Marinella %I Springer %K %P 49-64 %T Automated Analysis of Scenario-Based Specifications of Distributed Access Control Policies with Non-mechanizable Activities. %U http://dblp.uni-trier.de/db/conf/stm/stm2012.html#BarlettaRV12 %V 7783 %@ 978-3-642-38003-7

@inproceedings{conf/stm/BarlettaRV12, added-at = {2023-12-13T04:50:06.000+0100}, author = {Barletta, Michele and Ranise, Silvio and Viganò, Luca}, biburl = {https://www.bibsonomy.org/bibtex/22eb5b2c812c80617acc5ae3f11c30133/admin}, booktitle = {STM}, crossref = {conf/stm/2012}, editor = {Jøsang, Audun and Samarati, Pierangela and Petrocchi, Marinella}, ee = {https://doi.org/10.1007/978-3-642-38004-4_4}, interhash = {9aee8bc01b356a74e7595af1a75156b6}, intrahash = {2eb5b2c812c80617acc5ae3f11c30133}, isbn = {978-3-642-38003-7}, keywords = {}, pages = {49-64}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T04:50:06.000+0100}, title = {Automated Analysis of Scenario-Based Specifications of Distributed Access Control Policies with Non-mechanizable Activities.}, url = {http://dblp.uni-trier.de/db/conf/stm/stm2012.html#BarlettaRV12}, volume = 7783, year = 2012 }