@ARTICLE{Armando201364,
author={Armando, A., Costa, G., Merlo, A.},
title={Formal modeling and reasoning about the Android security framework},
journal={Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
year={2013},
volume={8191 LNCS},
pages={64-81},
doi={10.1007/978-3-642-41157-1_5},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-84886433245&partnerID=40&md5=71e4e16b02e11d9f78fe39578694317b},
document_type={Conference Paper},
source={Scopus},
}

{"_id":"T7dw7Woe5jYDBwsmb","bibbaseid":"armando-costa-merlo-formalmodelingandreasoningabouttheandroidsecurityframework-2013","downloads":0,"creationDate":"2016-08-26T10:17:26.659Z","title":"Formal modeling and reasoning about the Android security framework","author_short":["Armando, A.","Costa, G.","Merlo, A."],"year":2013,"bibtype":"article","biburl":"https://dl.dropboxusercontent.com/u/1703583/BiblioLab.bib","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Armando"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Costa"],"firstnames":["G."],"suffixes":[]},{"propositions":[],"lastnames":["Merlo"],"firstnames":["A."],"suffixes":[]}],"title":"Formal modeling and reasoning about the Android security framework","journal":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)","year":"2013","volume":"8191 LNCS","pages":"64-81","doi":"10.1007/978-3-642-41157-1_5","url":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-84886433245&partnerID=40&md5=71e4e16b02e11d9f78fe39578694317b","document_type":"Conference Paper","source":"Scopus","bibtex":"@ARTICLE{Armando201364,\nauthor={Armando, A., Costa, G., Merlo, A.},\ntitle={Formal modeling and reasoning about the Android security framework},\njournal={Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},\nyear={2013},\nvolume={8191 LNCS},\npages={64-81},\ndoi={10.1007/978-3-642-41157-1_5},\nurl={https://www.scopus.com/inward/record.uri?eid=2-s2.0-84886433245&partnerID=40&md5=71e4e16b02e11d9f78fe39578694317b},\ndocument_type={Conference Paper},\nsource={Scopus},\n}\n\n","author_short":["Armando, A.","Costa, G.","Merlo, A."],"key":"Armando201364","id":"Armando201364","bibbaseid":"armando-costa-merlo-formalmodelingandreasoningabouttheandroidsecurityframework-2013","role":"author","urls":{"Paper":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-84886433245&partnerID=40&md5=71e4e16b02e11d9f78fe39578694317b"},"downloads":0},"search_terms":["formal","modeling","reasoning","android","security","framework","armando","costa","merlo"],"keywords":[],"authorIDs":["57c00ade5abfdd4d540000c7","57c00b7c5abfdd4d540000cb"],"dataSources":["EQov9rEvkmMf5P4ah"]}