WIPO logo
Mobile | Deutsch | English | Español | 日本語 | 한국어 | Português | Русский | 中文 | العربية |
PATENTSCOPE

Recherche dans les collections de brevets nationales et internationales
World Intellectual Property Organization
Recherche
 
Options de navigation
 
Traduction
 
Options
 
Quoi de neuf
 
Connexion
 
Aide
 
Traduction automatique
1. (WO2016004080) VÉRIFICATION DE MICROVISEUR DE CONFIANCE TENANT COMPTE DES MENACES
Dernières données bibliographiques dont dispose le Bureau international   

N° de publication :    WO/2016/004080    N° de la demande internationale :    PCT/US2015/038616
Date de publication : 07.01.2016 Date de dépôt international : 30.06.2015
CIB :
G06F 9/455 (2006.01), H04L 9/00 (2006.01)
Déposants : FIREEYE, INC. [US/US]; 1440 McCarthy Blvd. Milpitas, California 95035 (US)
Inventeurs : ISMAEL, Osman Abdoul; (US).
TEWS, Hendrik; (US)
Mandataire : BARBAS, Charles J.; (US)
Données relatives à la priorité :
62/019,725 01.07.2014 US
Titre (EN) VERIFICATION OF TRUSTED THREAT-AWARE MICROVISOR
(FR) VÉRIFICATION DE MICROVISEUR DE CONFIANCE TENANT COMPTE DES MENACES
Abrégé : front page image
(EN)A trusted threat-aware microvisor may be deployed as a module of a trusted computing base (TCB). The microvisor is illustratively configured to enforce a security policy of the TCB, which may be implemented as a security property of the microvisor. The microvisor may manifest (i.e., demonstrate) the security property in a manner that enforces the security policy. Trustedness denotes a predetermined level of confidence that the security property is demonstrated by the microvisor. The predetermined level of confidence is based on an assurance (i.e., grounds) that the microvisor demonstrates the security property. Trustedness of the microvisor may be verified by subjecting the TCB to enhanced verification analysis configured to ensure that the TCB conforms to an operational model with an appropriate level of confidence over an appropriate range of activity. The operational model may then be configured to analyze conformance of the microvisor to the security property. A combination of conformance by the microvisor to the operational model and to the security property provides assurance (i.e., grounds) for the level of confidence and, thus, verifies trustedness.
(FR)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.
États désignés : AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BN, BR, BW, BY, BZ, CA, CH, CL, CN, CO, CR, CU, CZ, DE, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IR, IS, JP, KE, KG, KN, KP, KR, KZ, LA, LC, LK, LR, LS, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PA, PE, PG, PH, PL, PT, QA, RO, RS, RU, RW, SA, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TH, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW.
Organisation régionale africaine de la propriété intellectuelle (ARIPO) (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW)
Office eurasien des brevets (OEAB) (AM, AZ, BY, KG, KZ, RU, TJ, TM)
Office européen des brevets (OEB) (AL, AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, RS, SE, SI, SK, SM, TR)
Organisation africaine de la propriété intellectuelle (OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG).
Langue de publication : anglais (EN)
Langue de dépôt : anglais (EN)