Análisis formal del sistema de permisos de android
Supervisor(es): Betarte, Gustavo - Campo, Juan Diego - Luna, Carlos
Resumen:
Actualmente alrededor de 1700 millones de personas en el mundo eligen dispositivos móviles con Android como sistema operativo. Este liderazgo significativo del mercado lo sitúa como un interesante blanco de ataque para quienes crean aplicaciones maliciosas y además cualquier error que viole la información sensible de los usuarios impacta sobre un gran número de víctimas. Como consecuencia, es de interés analizar su modelo de seguridad y buscar formas de fortalecerlo. Si bien existen diversos estudios sobre el tema, el cambio constante y el surgimiento de nuevos problemas permiten la existencia de líneas muy diversas de investigación que apunten al mismo objetivo. Este trabajo propone un análisis formal completo del modelo de seguridad utilizado por Android, considerando especificaciones e implementaciones existentes, y teniendo en cuenta trabajos previos en el área.
| 2016 | |
|
SEGURIDAD DE LOS DATOS SISTEMAS OPERATIVOS ANDROID |
|
| Español | |
| Universidad de la República | |
| COLIBRI | |
| https://hdl.handle.net/20.500.12008/52767 | |
| Acceso abierto | |
| Licencia Creative Commons Atribución - No Comercial - Sin Derivadas (CC - By-NC-ND 4.0) |
| _version_ | 1875692906815160320 |
|---|---|
| author | Sanz, Camila |
| author_facet | Sanz, Camila |
| author_role | author |
| bitstream.checksum.fl_str_mv | 6429389a7df7277b72b7924fdc7d47a9 a006180e3f5b2ad0b88185d14284c0e0 e264074c84ef0e6bb5c59dfd8e296520 d62648cf14c1e37917d392ac87012955 19ac66782add986212784317bc6156af |
| bitstream.checksumAlgorithm.fl_str_mv | MD5 MD5 MD5 MD5 MD5 |
| bitstream.url.fl_str_mv | http://localhost:8080/xmlui/bitstream/20.500.12008/52767/5/license.txt http://localhost:8080/xmlui/bitstream/20.500.12008/52767/2/license_url http://localhost:8080/xmlui/bitstream/20.500.12008/52767/3/license_text http://localhost:8080/xmlui/bitstream/20.500.12008/52767/4/license_rdf http://localhost:8080/xmlui/bitstream/20.500.12008/52767/1/San16.pdf |
| collection | COLIBRI |
| dc.contributor.filiacion.none.fl_str_mv | Sanz Camila, Universidad de la República (Uruguay). Facultad de Ingeniería. |
| dc.creator.advisor.none.fl_str_mv | Betarte, Gustavo Campo, Juan Diego Luna, Carlos |
| dc.creator.none.fl_str_mv | Sanz, Camila |
| dc.date.accessioned.none.fl_str_mv | 2025-12-02T16:27:29Z |
| dc.date.available.none.fl_str_mv | 2025-12-02T16:27:29Z |
| dc.date.issued.none.fl_str_mv | 2016 |
| dc.description.abstract.none.fl_txt_mv | Actualmente alrededor de 1700 millones de personas en el mundo eligen dispositivos móviles con Android como sistema operativo. Este liderazgo significativo del mercado lo sitúa como un interesante blanco de ataque para quienes crean aplicaciones maliciosas y además cualquier error que viole la información sensible de los usuarios impacta sobre un gran número de víctimas. Como consecuencia, es de interés analizar su modelo de seguridad y buscar formas de fortalecerlo. Si bien existen diversos estudios sobre el tema, el cambio constante y el surgimiento de nuevos problemas permiten la existencia de líneas muy diversas de investigación que apunten al mismo objetivo. Este trabajo propone un análisis formal completo del modelo de seguridad utilizado por Android, considerando especificaciones e implementaciones existentes, y teniendo en cuenta trabajos previos en el área. |
| dc.format.extent.es.fl_str_mv | 103 p. |
| dc.format.mimetype.es.fl_str_mv | application/pdf |
| dc.identifier.citation.es.fl_str_mv | Sanz, C. Análisis formal del sistema de permisos de android [en línea]. Tesis de grado. Montevideo: Udelar. FI. INCO, 2016. |
| dc.identifier.uri.none.fl_str_mv | https://hdl.handle.net/20.500.12008/52767 |
| dc.language.iso.none.fl_str_mv | es spa |
| dc.publisher.es.fl_str_mv | Udelar.FI. |
| dc.rights.license.none.fl_str_mv | Licencia Creative Commons Atribución - No Comercial - Sin Derivadas (CC - By-NC-ND 4.0) |
| dc.rights.none.fl_str_mv | info:eu-repo/semantics/openAccess |
| dc.source.none.fl_str_mv | reponame:COLIBRI instname:Universidad de la República instacron:Universidad de la República |
| dc.subject.other.es.fl_str_mv | SEGURIDAD DE LOS DATOS SISTEMAS OPERATIVOS ANDROID |
| dc.title.none.fl_str_mv | Análisis formal del sistema de permisos de android |
| dc.type.es.fl_str_mv | Tesis de grado |
| dc.type.none.fl_str_mv | info:eu-repo/semantics/bachelorThesis |
| dc.type.version.none.fl_str_mv | info:eu-repo/semantics/acceptedVersion |
| description | Actualmente alrededor de 1700 millones de personas en el mundo eligen dispositivos móviles con Android como sistema operativo. Este liderazgo significativo del mercado lo sitúa como un interesante blanco de ataque para quienes crean aplicaciones maliciosas y además cualquier error que viole la información sensible de los usuarios impacta sobre un gran número de víctimas. Como consecuencia, es de interés analizar su modelo de seguridad y buscar formas de fortalecerlo. Si bien existen diversos estudios sobre el tema, el cambio constante y el surgimiento de nuevos problemas permiten la existencia de líneas muy diversas de investigación que apunten al mismo objetivo. Este trabajo propone un análisis formal completo del modelo de seguridad utilizado por Android, considerando especificaciones e implementaciones existentes, y teniendo en cuenta trabajos previos en el área. |
| eu_rights_str_mv | openAccess |
| format | bachelorThesis |
| id | COLIBRI_6dc8ea42fa4fd9c26e39233eb624b99f |
| identifier_str_mv | Sanz, C. Análisis formal del sistema de permisos de android [en línea]. Tesis de grado. Montevideo: Udelar. FI. INCO, 2016. |
| instacron_str | Universidad de la República |
| institution | Universidad de la República |
| instname_str | Universidad de la República |
| language | spa |
| language_invalid_str_mv | es |
| network_acronym_str | COLIBRI |
| network_name_str | COLIBRI |
| oai_identifier_str | oai:colibri.udelar.edu.uy:20.500.12008/52767 |
| publishDate | 2016 |
| reponame_str | COLIBRI |
| repository.mail.fl_str_mv | karina.camps@seciu.edu.uy |
| repository.name.fl_str_mv | COLIBRI - Universidad de la República |
| repository_id_str | 4771 |
| rights_invalid_str_mv | Licencia Creative Commons Atribución - No Comercial - Sin Derivadas (CC - By-NC-ND 4.0) |
| spelling | Sanz Camila, Universidad de la República (Uruguay). Facultad de Ingeniería.2025-12-02T16:27:29Z2025-12-02T16:27:29Z2016Sanz, C. Análisis formal del sistema de permisos de android [en línea]. Tesis de grado. Montevideo: Udelar. FI. INCO, 2016.https://hdl.handle.net/20.500.12008/52767Actualmente alrededor de 1700 millones de personas en el mundo eligen dispositivos móviles con Android como sistema operativo. Este liderazgo significativo del mercado lo sitúa como un interesante blanco de ataque para quienes crean aplicaciones maliciosas y además cualquier error que viole la información sensible de los usuarios impacta sobre un gran número de víctimas. Como consecuencia, es de interés analizar su modelo de seguridad y buscar formas de fortalecerlo. Si bien existen diversos estudios sobre el tema, el cambio constante y el surgimiento de nuevos problemas permiten la existencia de líneas muy diversas de investigación que apunten al mismo objetivo. Este trabajo propone un análisis formal completo del modelo de seguridad utilizado por Android, considerando especificaciones e implementaciones existentes, y teniendo en cuenta trabajos previos en el área.Submitted by Ribeiro Jorge (jribeiro@fing.edu.uy) on 2025-11-28T19:59:37Z No. of bitstreams: 2 license_rdf: 27293 bytes, checksum: d62648cf14c1e37917d392ac87012955 (MD5) San16.pdf: 2684358 bytes, checksum: 19ac66782add986212784317bc6156af (MD5)Approved for entry into archive by Machado Jimena (jmachado@fing.edu.uy) on 2025-12-02T16:19:24Z (GMT) No. of bitstreams: 2 license_rdf: 27293 bytes, checksum: d62648cf14c1e37917d392ac87012955 (MD5) San16.pdf: 2684358 bytes, checksum: 19ac66782add986212784317bc6156af (MD5)Made available in DSpace by Luna Fabiana (fabiana.luna@seciu.edu.uy) on 2025-12-02T16:27:29Z (GMT). No. of bitstreams: 2 license_rdf: 27293 bytes, checksum: d62648cf14c1e37917d392ac87012955 (MD5) San16.pdf: 2684358 bytes, checksum: 19ac66782add986212784317bc6156af (MD5) Previous issue date: 2016103 p.application/pdfesspaUdelar.FI.Las obras depositadas en el Repositorio se rigen por la Ordenanza de los Derechos de la Propiedad Intelectual de la Universidad de la República.(Res. Nº 91 de C.D.C. de 8/III/1994 – D.O. 7/IV/1994) y por la Ordenanza del Repositorio Abierto de la Universidad de la República (Res. Nº 16 de C.D.C. de 07/10/2014)info:eu-repo/semantics/openAccessLicencia Creative Commons Atribución - No Comercial - Sin Derivadas (CC - By-NC-ND 4.0)SEGURIDAD DE LOS DATOSSISTEMAS OPERATIVOSANDROIDAnálisis formal del sistema de permisos de androidTesis de gradoinfo:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/acceptedVersionreponame:COLIBRIinstname:Universidad de la Repúblicainstacron:Universidad de la RepúblicaSanz, CamilaBetarte, GustavoCampo, Juan DiegoLuna, CarlosUniversidad de la República (Uruguay). Facultad de Ingeniería.Ingeniero en ComputaciónLICENSElicense.txtlicense.txttext/plain; charset=utf-84267http://localhost:8080/xmlui/bitstream/20.500.12008/52767/5/license.txt6429389a7df7277b72b7924fdc7d47a9MD55CC-LICENSElicense_urllicense_urltext/plain; charset=utf-850http://localhost:8080/xmlui/bitstream/20.500.12008/52767/2/license_urla006180e3f5b2ad0b88185d14284c0e0MD52license_textlicense_texttext/html; charset=utf-829390http://localhost:8080/xmlui/bitstream/20.500.12008/52767/3/license_texte264074c84ef0e6bb5c59dfd8e296520MD53license_rdflicense_rdfapplication/rdf+xml; charset=utf-827293http://localhost:8080/xmlui/bitstream/20.500.12008/52767/4/license_rdfd62648cf14c1e37917d392ac87012955MD54ORIGINALSan16.pdfSan16.pdfapplication/pdf2684358http://localhost:8080/xmlui/bitstream/20.500.12008/52767/1/San16.pdf19ac66782add986212784317bc6156afMD5120.500.12008/527672025-12-02 13:27:29.835oai:colibri.udelar.edu.uy:20.500.12008/52767VGVybWlub3MgeSBjb25kaWNpb25lcyByZWxhdGl2YXMgYWwgZGVwb3NpdG8gZGUgb2JyYXMKCgpMYXMgb2JyYXMgZGVwb3NpdGFkYXMgZW4gZWwgUmVwb3NpdG9yaW8gc2UgcmlnZW4gcG9yIGxhIE9yZGVuYW56YSBkZSBsb3MgRGVyZWNob3MgZGUgbGEgUHJvcGllZGFkIEludGVsZWN0dWFsICBkZSBsYSBVbml2ZXJzaWRhZCBEZSBMYSBSZXDDumJsaWNhLiAoUmVzLiBOwrogOTEgZGUgQy5ELkMuIGRlIDgvSUlJLzE5OTQg4oCTIEQuTy4gNy9JVi8xOTk0KSB5ICBwb3IgbGEgT3JkZW5hbnphIGRlbCBSZXBvc2l0b3JpbyBBYmllcnRvIGRlIGxhIFVuaXZlcnNpZGFkIGRlIGxhIFJlcMO6YmxpY2EgKFJlcy4gTsK6IDE2IGRlIEMuRC5DLiBkZSAwNy8xMC8yMDE0KS4gCgpBY2VwdGFuZG8gZWwgYXV0b3IgZXN0b3MgdMOpcm1pbm9zIHkgY29uZGljaW9uZXMgZGUgZGVww7NzaXRvIGVuIENPTElCUkksIGxhIFVuaXZlcnNpZGFkIGRlIFJlcMO6YmxpY2EgcHJvY2VkZXLDoSBhOiAgCgphKSBhcmNoaXZhciBtw6FzIGRlIHVuYSBjb3BpYSBkZSBsYSBvYnJhIGVuIGxvcyBzZXJ2aWRvcmVzIGRlIGxhIFVuaXZlcnNpZGFkIGEgbG9zIGVmZWN0b3MgZGUgZ2FyYW50aXphciBhY2Nlc28sIHNlZ3VyaWRhZCB5IHByZXNlcnZhY2nDs24KYikgY29udmVydGlyIGxhIG9icmEgYSBvdHJvcyBmb3JtYXRvcyBzaSBmdWVyYSBuZWNlc2FyaW8gIHBhcmEgZmFjaWxpdGFyIHN1IHByZXNlcnZhY2nDs24geSBhY2Nlc2liaWxpZGFkIHNpbiBhbHRlcmFyIHN1IGNvbnRlbmlkby4KYykgcmVhbGl6YXIgbGEgY29tdW5pY2FjacOzbiBww7pibGljYSB5IGRpc3BvbmVyIGVsIGFjY2VzbyBsaWJyZSB5IGdyYXR1aXRvIGEgdHJhdsOpcyBkZSBJbnRlcm5ldCBtZWRpYW50ZSBsYSBwdWJsaWNhY2nDs24gZGUgbGEgb2JyYSBiYWpvIGxhIGxpY2VuY2lhIENyZWF0aXZlIENvbW1vbnMgc2VsZWNjaW9uYWRhIHBvciBlbCBwcm9waW8gYXV0b3IuCgoKRW4gY2FzbyBxdWUgZWwgYXV0b3IgaGF5YSBkaWZ1bmRpZG8geSBkYWRvIGEgcHVibGljaWRhZCBhIGxhIG9icmEgZW4gZm9ybWEgcHJldmlhLCAgcG9kcsOhIHNvbGljaXRhciB1biBwZXLDrW9kbyBkZSBlbWJhcmdvIHNvYnJlIGxhIGRpc3BvbmliaWxpZGFkIHDDumJsaWNhIGRlIGxhIG1pc21hLCBlbCBjdWFsIGNvbWVuemFyw6EgYSBwYXJ0aXIgZGUgbGEgYWNlcHRhY2nDs24gZGUgZXN0ZSBkb2N1bWVudG8geSBoYXN0YSBsYSBmZWNoYSBxdWUgaW5kaXF1ZSAuCgpFbCBhdXRvciBhc2VndXJhIHF1ZSBsYSBvYnJhIG5vIGluZnJpZ2UgbmluZ8O6biBkZXJlY2hvIHNvYnJlIHRlcmNlcm9zLCB5YSBzZWEgZGUgcHJvcGllZGFkIGludGVsZWN0dWFsIG8gY3VhbHF1aWVyIG90cm8uCgpFbCBhdXRvciBnYXJhbnRpemEgcXVlIHNpIGVsIGRvY3VtZW50byBjb250aWVuZSBtYXRlcmlhbGVzIGRlIGxvcyBjdWFsZXMgbm8gdGllbmUgbG9zIGRlcmVjaG9zIGRlIGF1dG9yLCAgaGEgb2J0ZW5pZG8gZWwgcGVybWlzbyBkZWwgcHJvcGlldGFyaW8gZGUgbG9zIGRlcmVjaG9zIGRlIGF1dG9yLCB5IHF1ZSBlc2UgbWF0ZXJpYWwgY3V5b3MgZGVyZWNob3Mgc29uIGRlIHRlcmNlcm9zIGVzdMOhIGNsYXJhbWVudGUgaWRlbnRpZmljYWRvIHkgcmVjb25vY2lkbyBlbiBlbCB0ZXh0byBvIGNvbnRlbmlkbyBkZWwgZG9jdW1lbnRvIGRlcG9zaXRhZG8gZW4gZWwgUmVwb3NpdG9yaW8uCgpFbiBvYnJhcyBkZSBhdXRvcsOtYSBtw7psdGlwbGUgL3NlIHByZXN1bWUvIHF1ZSBlbCBhdXRvciBkZXBvc2l0YW50ZSBkZWNsYXJhIHF1ZSBoYSByZWNhYmFkbyBlbCBjb25zZW50aW1pZW50byBkZSB0b2RvcyBsb3MgYXV0b3JlcyBwYXJhIHB1YmxpY2FybGEgZW4gZWwgUmVwb3NpdG9yaW8sIHNpZW5kbyDDqXN0ZSBlbCDDum5pY28gcmVzcG9uc2FibGUgZnJlbnRlIGEgY3VhbHF1aWVyIHRpcG8gZGUgcmVjbGFtYWNpw7NuIGRlIGxvcyBvdHJvcyBjb2F1dG9yZXMuCgpFbCBhdXRvciBzZXLDoSByZXNwb25zYWJsZSBkZWwgY29udGVuaWRvIGRlIGxvcyBkb2N1bWVudG9zIHF1ZSBkZXBvc2l0YS4gTGEgVURFTEFSIG5vIHNlcsOhIHJlc3BvbnNhYmxlIHBvciBsYXMgZXZlbnR1YWxlcyB2aW9sYWNpb25lcyBhbCBkZXJlY2hvIGRlIHByb3BpZWRhZCBpbnRlbGVjdHVhbCBlbiBxdWUgcHVlZGEgaW5jdXJyaXIgZWwgYXV0b3IuCgpBbnRlIGN1YWxxdWllciBkZW51bmNpYSBkZSB2aW9sYWNpw7NuIGRlIGRlcmVjaG9zIGRlIHByb3BpZWRhZCBpbnRlbGVjdHVhbCwgbGEgVURFTEFSICBhZG9wdGFyw6EgdG9kYXMgbGFzIG1lZGlkYXMgbmVjZXNhcmlhcyBwYXJhIGV2aXRhciBsYSBjb250aW51YWNpw7NuIGRlIGRpY2hhIGluZnJhY2Npw7NuLCBsYXMgcXVlIHBvZHLDoW4gaW5jbHVpciBlbCByZXRpcm8gZGVsIGFjY2VzbyBhIGxvcyBjb250ZW5pZG9zIHkvbyBtZXRhZGF0b3MgZGVsIGRvY3VtZW50byByZXNwZWN0aXZvLgoKTGEgb2JyYSBzZSBwb25kcsOhIGEgZGlzcG9zaWNpw7NuIGRlbCBww7pibGljbyBhIHRyYXbDqXMgZGUgbGFzIGxpY2VuY2lhcyBDcmVhdGl2ZSBDb21tb25zLCBlbCBhdXRvciBwb2Ryw6Egc2VsZWNjaW9uYXIgdW5hIGRlIGxhcyA2IGxpY2VuY2lhcyBkaXNwb25pYmxlczoKCgpBdHJpYnVjacOzbiAoQ0MgLSBCeSk6IFBlcm1pdGUgdXNhciBsYSBvYnJhIHkgZ2VuZXJhciBvYnJhcyBkZXJpdmFkYXMsIGluY2x1c28gY29uIGZpbmVzIGNvbWVyY2lhbGVzLCBzaWVtcHJlIHF1ZSBzZSByZWNvbm96Y2EgYWwgYXV0b3IuCgpBdHJpYnVjacOzbiDigJMgQ29tcGFydGlyIElndWFsIChDQyAtIEJ5LVNBKTogUGVybWl0ZSB1c2FyIGxhIG9icmEgeSBnZW5lcmFyIG9icmFzIGRlcml2YWRhcywgaW5jbHVzbyBjb24gZmluZXMgY29tZXJjaWFsZXMsIHBlcm8gbGEgZGlzdHJpYnVjacOzbiBkZSBsYXMgb2JyYXMgZGVyaXZhZGFzIGRlYmUgaGFjZXJzZSBtZWRpYW50ZSB1bmEgbGljZW5jaWEgaWTDqW50aWNhIGEgbGEgZGUgbGEgb2JyYSBvcmlnaW5hbCwgcmVjb25vY2llbmRvIGEgbG9zIGF1dG9yZXMuCgpBdHJpYnVjacOzbiDigJMgTm8gQ29tZXJjaWFsIChDQyAtIEJ5LU5DKTogUGVybWl0ZSB1c2FyIGxhIG9icmEgeSBnZW5lcmFyIG9icmFzIGRlcml2YWRhcywgc2llbXByZSB5IGN1YW5kbyBlc29zIHVzb3Mgbm8gdGVuZ2FuIGZpbmVzIGNvbWVyY2lhbGVzLCByZWNvbm9jaWVuZG8gYWwgYXV0b3IuCgpBdHJpYnVjacOzbiDigJMgU2luIERlcml2YWRhcyAoQ0MgLSBCeS1ORCk6IFBlcm1pdGUgZWwgdXNvIGRlIGxhIG9icmEsIGluY2x1c28gY29uIGZpbmVzIGNvbWVyY2lhbGVzLCBwZXJvIG5vIHNlIHBlcm1pdGUgZ2VuZXJhciBvYnJhcyBkZXJpdmFkYXMsIGRlYmllbmRvIHJlY29ub2NlciBhbCBhdXRvci4KCkF0cmlidWNpw7NuIOKAkyBObyBDb21lcmNpYWwg4oCTIENvbXBhcnRpciBJZ3VhbCAoQ0Mg4oCTIEJ5LU5DLVNBKTogUGVybWl0ZSB1c2FyIGxhIG9icmEgeSBnZW5lcmFyIG9icmFzIGRlcml2YWRhcywgc2llbXByZSB5IGN1YW5kbyBlc29zIHVzb3Mgbm8gdGVuZ2FuIGZpbmVzIGNvbWVyY2lhbGVzIHkgbGEgZGlzdHJpYnVjacOzbiBkZSBsYXMgb2JyYXMgZGVyaXZhZGFzIHNlIGhhZ2EgbWVkaWFudGUgbGljZW5jaWEgaWTDqW50aWNhIGEgbGEgZGUgbGEgb2JyYSBvcmlnaW5hbCwgcmVjb25vY2llbmRvIGEgbG9zIGF1dG9yZXMuCgpBdHJpYnVjacOzbiDigJMgTm8gQ29tZXJjaWFsIOKAkyBTaW4gRGVyaXZhZGFzIChDQyAtIEJ5LU5DLU5EKTogUGVybWl0ZSB1c2FyIGxhIG9icmEsIHBlcm8gbm8gc2UgcGVybWl0ZSBnZW5lcmFyIG9icmFzIGRlcml2YWRhcyB5IG5vIHNlIHBlcm1pdGUgdXNvIGNvbiBmaW5lcyBjb21lcmNpYWxlcywgZGViaWVuZG8gcmVjb25vY2VyIGFsIGF1dG9yLgoKTG9zIHVzb3MgcHJldmlzdG9zIGVuIGxhcyBsaWNlbmNpYXMgaW5jbHV5ZW4gbGEgZW5hamVuYWNpw7NuLCByZXByb2R1Y2Npw7NuLCBjb211bmljYWNpw7NuLCBwdWJsaWNhY2nDs24sIGRpc3RyaWJ1Y2nDs24geSBwdWVzdGEgYSBkaXNwb3NpY2nDs24gZGVsIHDDumJsaWNvLiBMYSBjcmVhY2nDs24gZGUgb2JyYXMgZGVyaXZhZGFzIGluY2x1eWUgbGEgYWRhcHRhY2nDs24sIHRyYWR1Y2Npw7NuIHkgZWwgcmVtaXguCgpDdWFuZG8gc2Ugc2VsZWNjaW9uZSB1bmEgbGljZW5jaWEgcXVlIGhhYmlsaXRlIHVzb3MgY29tZXJjaWFsZXMsIGVsIGRlcMOzc2l0byBkZWJlcsOhIHNlciBhY29tcGHDsWFkbyBkZWwgYXZhbCBkZWwgamVyYXJjYSBtw6F4aW1vIGRlbCBTZXJ2aWNpbyBjb3JyZXNwb25kaWVudGUuCg==Institucionalhttps://www.colibri.udelar.edu.uyUniversidadhttps://udelar.edu.uy/https://www.colibri.udelar.edu.uy/oai/requestkarina.camps@seciu.edu.uyUruguayopendoar:47712025-12-02T16:27:29COLIBRI - Universidad de la Repúblicafalse |
| spellingShingle | Análisis formal del sistema de permisos de android Sanz, Camila SEGURIDAD DE LOS DATOS SISTEMAS OPERATIVOS ANDROID |
| status_str | acceptedVersion |
| title | Análisis formal del sistema de permisos de android |
| title_full | Análisis formal del sistema de permisos de android |
| title_fullStr | Análisis formal del sistema de permisos de android |
| title_full_unstemmed | Análisis formal del sistema de permisos de android |
| title_short | Análisis formal del sistema de permisos de android |
| title_sort | Análisis formal del sistema de permisos de android |
| topic | SEGURIDAD DE LOS DATOS SISTEMAS OPERATIVOS ANDROID |
| url | https://hdl.handle.net/20.500.12008/52767 |
