Biblioteca122.739 documentos en línea

Artículo

A Noninterference Model for Mobile OS Information Flow Control and Its Policy VerificationModelo de no interferencia para el control del flujo de información en sistemas operativos móviles y verificación de sus políticas

Resumen

Los sistemas operativos móviles como Android están enfrentando serios riesgos de seguridad. En primer lugar, tienen un gran número de usuarios y almacenan una gran cantidad de datos privados de los usuarios, que se han convertido en objetivos principales de los ataques de red; en segundo lugar, su apertura conlleva altos riesgos de seguridad; en tercer lugar, su mecanismo de control de permisos estático de granularidad gruesa conduce a una gran cantidad de filtraciones de privacidad. Los sistemas operativos recientes de control de flujo de información descentralizado (DIFC) como Asbestos, HiStar y Flume ajustan dinámicamente la etiqueta de cada proceso. Asbestos contiene canales encubiertos inherentes debido a este ajuste implícito de etiquetas. Los demás cierran estos canales encubiertos mediante el uso de un cambio explícito de etiquetas, pero esto obstaculiza la comunicación y aumenta la sobrecarga de rendimiento. Presentamos un modelo mejorado de cambio implícito de etiquetas (EILCM) para sistemas operativos móviles que puede cerrar el

  • Tipo de documento:
  • Formato:pdf
  • Idioma:Inglés
  • Tamaño: Kb

Cómo citar el documento

Esta es una versión de prueba de citación de documentos de la Biblioteca Virtual Pro. Puede contener errores. Lo invitamos a consultar los manuales de citación de las respectivas fuentes.

Este contenido no est� disponible para su tipo de suscripci�n

Información del documento