Burrows Abadi Needham Logik Bedeutung

Suchen

Burrows-Abadi-Needham-Logik

Burrows-Abadi-Needham-Logik Logo #42000 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.