%0 Journal Article %1 journals/cuza/BetarteCLR16 %A Betarte, Gustavo %A Campo, Juan Diego %A Luna, Carlos %A Romano, Agustín %D 2016 %J Sci. Ann. Comput. Sci. %K dblp %N 1 %P 27-68 %T Formal Analysis of Android's Permission-Based Security Model, . %U http://dblp.uni-trier.de/db/journals/cuza/cuza26.html#BetarteCLR16 %V 26

@article{journals/cuza/BetarteCLR16, added-at = {2023-08-28T00:00:00.000+0200}, author = {Betarte, Gustavo and Campo, Juan Diego and Luna, Carlos and Romano, Agustín}, biburl = {https://www.bibsonomy.org/bibtex/2f8eba62292f7c0f5af53dd88d1e8a45b/dblp}, ee = {https://www.wikidata.org/entity/Q114917394}, interhash = {1be3c2ca3d22924c6a60258fc4e79073}, intrahash = {f8eba62292f7c0f5af53dd88d1e8a45b}, journal = {Sci. Ann. Comput. Sci.}, keywords = {dblp}, number = 1, pages = {27-68}, timestamp = {2024-04-09T02:33:16.000+0200}, title = {Formal Analysis of Android's Permission-Based Security Model, .}, url = {http://dblp.uni-trier.de/db/journals/cuza/cuza26.html#BetarteCLR16}, volume = 26, year = 2016 }