Para resolver los problemas existentes del método de medición de integridad dinámica, en este documento se propone un modelo de medición de integridad dinámica basado en el Mecanismo de Paginación de Memoria. El modelo toma las páginas de memoria de los sujetos ejecutables como objetos de medición. Cuando las páginas se programan en memoria, se insertan los puntos de medición, se miden las páginas y se verifica su integridad. El modelo es capaz de garantizar la integridad y confianza de cada página ejecutable y asegurar que la integridad de todos los sujetos ejecutables no se vea comprometida. Para verificar este modelo, se utiliza el mecanismo de hipercall de XEN para adquirir las páginas de los sujetos ejecutables programadas en memoria, y los códigos de medición y verificación de integridad se colocan en el controlador de hipercall. Por lo tanto, se implementa la medición de integridad dinámica de los sujetos ejecutables.
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.
Artículo:
Retrodispersión láser polarizada de la distribución de nubes atmosféricas basada en el algoritmo de recocido simulado
Artículo:
Sincronización Mixta de Sistemas Financieros Caóticos Utilizando Control de Retroalimentación Lineal
Artículo:
Control compuesto adaptable antidisturbios para sistema conmutado en tiempo discreto
Artículo:
Sobre teoremas de comparación para descomposiciones de matrices semimonótonas diferentes
Artículo:
Modelo Óptimo de Estiba de Suministros Médicos de Emergencia bajo Control de Tráfico durante el Periodo Inicial de la Epidemia Basado en el Análisis de las Características de la Epidemia COVID-19