Résultats de la recherche

...y D. Ullman) est un modèle de [[contrôle d'accès discrétionnaire]], à base de matrice d'accès, formalisé en 1976. == Les modèles de contrôle d'accès discrétionnaires == ...

...p</math>, pour 0 et pour 1 (d'où la symétrie). Ce canal est sans [[Mémoire informatique|mémoire]], c'est-à-dire qu'aucune archive des messages n'est conservée. ...formation)|canal de communication]], en présence de [[bruit]]. Le [[codage de canal]] est l'ensemble des solutions à ce problème que sont les [[code corr ...

...s [[Shafi Goldwasser]] et [[Silvio Micali]] pour définir formellement la [[sécurité sémantique]] du chiffrement à clé publique<ref>{{Article|langue=anglais|aut ...tre de sécurité]], ce qui garantit que l'objet cryptographique réel et son modèle idéalisé ne peuvent pas être distingués par un attaquant. ...

* [[Grumman S-2 Tracker]], avion de [[lutte anti-sous-marine]] américain ; * {{HMS|Rorqual|S02}}, un sous-marin de la [[Royal Navy]] ; ...

...re.}} s’il n’existe pas d’algorithme ''efficace'' qui puisse les discerner de manière significative. ...istingueur'' peut être définie de différentes manières, amenant un spectre de définitions plus ou moins fortes{{sfn|BH15|texte=Berman et Haitner. ''From ...

=== Modèle de Formule 1 === * [[Arzani Volpini F1]], un modèle de [[Formule 1]] de [[1954]] ; ...

{{ébauche|Informatique théorique|date=Février 2016}} ...vis-à-vis d'une [[Théorie de la complexité (informatique théorique)|classe de complexité]] donnée ; dans l'extrême majorité des cas, la classe implicitem ...

...atique]]. Dans le cadre d'un [[Langage formel|modèle formel]], elle permet de raisonner sur les propriétés d'un tel système. La notation standard consiste en un ensemble de mandants (traditionnellement nommés [[Alice et Bob|Alice, Bob]], Charlie, e ...

...s bas. Ce modèle essaie de capturer le comportement idéal d'une [[fonction de hachage cryptographique]]. Le modèle de l'oracle aléatoire a été introduit en 1993 par les cryptologues [[Mihir Bel ...

...n entre [[Lettre (alphabet)|lettres]] de l'alphabet latin et des séquences de sons courts et longs. En [[sciences de la communication]], un code au sens le plus large fait référence à un [[lan ...

...me informatique dont la particularité réside dans le fait qu’il se compose de fonctionnalités critiques et non-critiques<ref name=":0">{{Article |prénom1 ...ions, qui ont pour objectif de valider la sûreté du système et la sécurité de ses utilisateurs. On retrouve typiquement ces systèmes informatiques déploy ...

...tinguer différents interlocuteurs. Ces interlocuteurs sont des [[Programme informatique|programmes informatiques]] qui, selon les cas, écoutent ou émettent des inf ...eau donné résultant de la concaténation de l'adresse internet et du numéro de port, un port sert localement à identifier un processus. ...

...tantes en cryptologie et en [[Sécurité des systèmes d'information|sécurité informatique]]. ...fonctions existent avec une complexité de circuit faible.</ref>. Le modèle de l'obfuscation indistinguable est conçu pour échapper à ce résultat d'imposs ...

{{Confusion|signatures de Goldwasser-Micali-Rivest|cryptosystème de Blum-Goldwasser}} ...ience, dans les années 1990, de la nécessité de formaliser (et prouver) la sécurité des schémas cryptographiques. Voir aussi (Goldwasser 2002).</ref>{{,}}<ref> ...

...ulté calculatoire''' est une hypothèse qui sert à évaluer et à [[Preuve de sécurité|démontrer]] la robustesse des [[Primitive cryptographique|primitives crypto ...sont sûrs ''en supposant que tous les adversaires disposent d'une capacité de calcul limitée'', comme tous les protagonistes en disposent en pratique. ...

...AL (cryptologie)|DEAL]], qui est basé sur une construction de Luby-Rackoff de profondeur 7 ou 8.</ref>. La construction s'appuie sur les '''théorèmes de Luby-Rackoff<ref name=":2" />,''' énoncés en 1988 par [[Michael Luby]] et [ ...

...atique]], utilisé dans les systèmes distribués afin de servir de protocole de détection d’erreur (à la manière des [[Problème des généraux byzantins|géné ...t possible de prendre en compte une information dont la source ou le canal de transmission est suspect. La solution implique l'établissement d'un algorit ...

{{Titre mis en forme|''{{langue|en|Thread}}'' (informatique)}} ...u '''fil''' (traduction normalisés par [[Système de gestion de la sécurité de l'information|ISO/CEI]] 2382-7:2000<ref name="iso.org">{{Lien web |langue=f ...

...appe ne soit pas elle même facile à calculer à partir d'une représentation de la fonction.</ref>. ...u de [[signature numérique]]. Cependant Diffie et Hellman ne proposent pas de telle fonction dans leur article<ref name=":0" />. ...

{{ébauche|informatique}} ...quantique]], notamment le [[principe de superposition quantique | principe de superposition]] ou encore l'[[intrication quantique|intrication]]. L'unité ...