Riff News

Dans le contexte cryptographique général, il s'agit du secret partagé utilisé dans les algorithmes à clef secrète.

Dans le contexte du chiffrement à clef publique, on trouve fréquemment le terme pour désigner la clef privée.

Attaque visant à nuire aux utilisateurs d'un système en diminuant la disponibilité de celui-ci, potentiellement jusqu'à néant.

Méthode de chiffrement dans laquelle un secret partagé entre émetteur et récepteur est utilisé tour à tour pour chiffrer le message et le déchiffrer par application de l'algorithme inverse. Le défaut majeur de cette classe d'algorithmes est la nécessité de disposer d'un secret partagé initial, qui doit donc être communiqué par un canal sûr, ou obtenu au travers d'un algorithme zero-knowledge. Voir "zero-knowledge".

Propriété secrète d'une entité communicante, utilisée pour signer les messages dont elle souhaite permettre l'authentification par les destinataires, et pour lire les messages confidentiels qui lui sont adressés. Voir chiffrement à clef publique.

Propriété publiée d'une entité communicante, utilisée par les tiers pour vérifier les messages signés par celle-ci avec sa clef secrète et pour lui communiquer des messages destinés à être lus par elle seule.

Voir chiffrement à clef publique.

Elément constant d'une boucle de contrôle. Par exemple, dans une boucle while(cond) do bloc end, l'invariant est (not cond) or bloc.

Assertion contrôlant le déroulement d'un programme. Une instruction correcte pour effectuer une tâche donnée respecte les prédicats spécifiés en sortie pour toutes les valeurs possibles des prédicats reçus en entrée. Voir invariant.

Règle d'unification utilisée en logique formelle pour calculer la valeur de vérité d'une proposition. Son application permet en effet des chaînes de résolution plus courtes que l'application de la logique conventionnelle (modus ponens, modus tollens, etc), tout étant équivalente.

Logiciel client et serveur, typiquement pour HTTP. Il interroge régulièrement des serveurs à publier, afin de disposer des réponses statiques formulables rapidement pour les clients requérant des informations de ces serveurs. Il est considéré comme inverse car il est d'un point de vue logique placé sur le site serveur, et c'est lui qui est connu comme destinataire des requêtes, et non le serveur origine, au contraire d'un proxy normal, dans lequel le serveur origine est celui adressé, et où le proxy est invisible dans les URLs.