%0 Journal Article %1 journals/isecure/SayyadabdiLZ22 %A Sayyadabdi, Amirhosein %A Ladani, Behrouz Tork %A Zamani, Bahman %D 2022 %J ISC Int. J. Inf. Secur. %K dblp %N 3 %P 61-69 %T Towards a Formal Approach for Detection of Vulnerabilities in the Android Permissions System. %U http://dblp.uni-trier.de/db/journals/isecure/isecure14.html#SayyadabdiLZ22 %V 14

@article{journals/isecure/SayyadabdiLZ22, added-at = {2023-01-13T00:00:00.000+0100}, author = {Sayyadabdi, Amirhosein and Ladani, Behrouz Tork and Zamani, Bahman}, biburl = {https://www.bibsonomy.org/bibtex/2deec1a3ab4f7323ee296f9f0d892be0f/dblp}, ee = {https://doi.org/10.22042/isecure.2022.14.3.7}, interhash = {ddf789978aed21421505f70d5ff52483}, intrahash = {deec1a3ab4f7323ee296f9f0d892be0f}, journal = {ISC Int. J. Inf. Secur.}, keywords = {dblp}, number = 3, pages = {61-69}, timestamp = {2024-04-08T12:32:50.000+0200}, title = {Towards a Formal Approach for Detection of Vulnerabilities in the Android Permissions System.}, url = {http://dblp.uni-trier.de/db/journals/isecure/isecure14.html#SayyadabdiLZ22}, volume = 14, year = 2022 }