Recherche dans les collections de brevets nationales et internationales

1. (WO2016004080) VÉRIFICATION DE MICROVISEUR DE CONFIANCE TENANT COMPTE DES MENACES

Pub. No.:    WO/2016/004080    International Application No.:    PCT/US2015/038616
Publication Date: Fri Jan 08 00:59:59 CET 2016 International Filing Date: Wed Jul 01 01:59:59 CEST 2015
IPC: G06F 9/455
H04L 9/00
Applicants: FIREEYE, INC.
Inventors: ISMAEL, Osman Abdoul
TEWS, Hendrik
Title: VÉRIFICATION DE MICROVISEUR DE CONFIANCE TENANT COMPTE DES MENACES
Abstract:
Une microviseur de confiance tenant compte des menaces peut être déployé en tant que module d'une base de calcul de confiance (TCB). Le microviseur est configuré à titre d'exemple pour appliquer une politique de sécurité de la TCB, qui peut être mise en œuvre sous la forme d'une propriété de sécurité du microviseur. Le microviseur peut manifester (c'est-à-dire, démontrer) la propriété de sécurité d'une manière qui applique la politique de sécurité. Le niveau de confiance renvoie à un niveau prédéterminé de confiance où la propriété de sécurité est démontrée par le microviseur. Le niveau prédéterminé de confiance est basé sur l'assurance (c'est-à-dire, les raisons) que le microviseur démontre la propriété de sécurité. Le niveau de confiance du microviseur peut être vérifié en soumettant la TCB à une analyse de vérification accrue configurée de façon à s'assurer que le TCB est conforme à un modèle de fonctionnement avec un niveau approprié de confiance sur une plage appropriée d'activité. Le modèle opérationnel peut ensuite être configuré pour analyser la conformité du microviseur avec la propriété de sécurité. Une combinaison de conformité par le microvisor pour le modèle opérationnel et à la propriété de sécurité apporte la garantie (c'est-à-dire, les raisons) pour le niveau de confiance, et, de ce fait, vérifie le niveau de confiance.