Resumen

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.

• Materias:Sistemas no lineales Dinámica no lineal Red de tráfico dinámico Algoritmo alométrico Sistema conmutado
• Subjects:Nonlinear systems Nonlinear dynamics Dynamic traffic network Allometric algorithm Switched system
• Palabras claves:Propuesto; Mecanismo de paginación de memoria; Modelo de medición; Integridad; Sujetos ejecutables; Códigos de verificación
• Keywords:Proposed; Memory paging mechanism; Measurement model; Integrity; Executable subjects; Verification codes