Alice og Bob: Forskelle mellem versioner

Selv om [[Interaktivt bevissystem|interaktive bevissystemer]] (IPS'er) ikke (helt) er en kryptografisk protokol, er det tilstrækkelig relateret til at nævne litteraturens "rolleliste":

* '''Arthur''' og '''Merlin''': InI [[Interaktivt bevissystem|IPSerIPS'er]], har den bevisførende part ubegrænset beregningskraft til rådighed, og er derfor associeret med [[troldmand]]en [[Merlin (troldmand)|Merlin]]. Han påstår at en sætning er sand, og [[Kong Arthur|Arthur]], den vise konge, udspørger ham for at bekræfte hans påstand. Disse tofigurer giver også navn til to [[Kompleksitetsklasse]]r, nemlig [[MA (kompleksitet)|MA]] og [[AM (kompleksitet)|AM]].