Riff News

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.

Voir "EIDE", "GEIDE".

Magazine UNIX de l'AFUU.

Voir AFUL, Tribunix.

Voir LUG, FLOSS.