
Wenn P glaubt, dass X „frisch“ ist und dass Q in der Vergangenheit X gesendet hat, dann glaubt P, dass Q noch immer an X glaubt. X ist hierbei nach Voraussetzung ein Klartext. Falls Q nach Glauben von P eine Autorität für X ist und X glaubt, so glaubt auch P X. == Literatur == == Einzelnachweise == ...
Gefunden auf
https://de.wikipedia.org/wiki/Burrows-Abadi-Needham-Logik
Keine exakte Übereinkunft gefunden.