Säkerhetsprotokollnotation

Inom kryptografi är säkerhetsprotokollnotation , även känd som protokollberättelser och Alice & Bob-notation , ett sätt att uttrycka ett korrespondensprotokoll mellan enheter i ett dynamiskt system, såsom ett datornätverk . I samband med en formell modell tillåter den resonemang om egenskaperna hos ett sådant system.

Standardnotationen består av en uppsättning rektorer (traditionellt kallade Alice, Bob , Charlie och så vidare) som vill kommunicera. De kan ha tillgång till en server S, delade nycklar K, tidsstämplar T och kan generera nonces N för autentiseringsändamål.

Ett enkelt exempel kan vara följande:

$A\rightarrow B:\{X\}_{K_{A,B}}$

Detta anger att A lus avser ett meddelande för B ob bestående av en klartext X krypterad under delad nyckel KA _,B .

Ett annat exempel kan vara följande:

$B\rightarrow A:\{N_{B}\}_{K_{A}}$

Detta anger att B ob avser ett meddelande för A -löss som består av ett n en gång N _B krypterat med hjälp av Alices offentliga nyckel.

En nyckel med två sänkningar, KA _,B , är en symmetrisk nyckel som delas av de två motsvarande individerna. En nyckel med en sänkning, _KA , är den offentliga nyckeln för motsvarande individ. En privat nyckel representeras som inversen av den publika nyckeln.

Notationen specificerar endast operationen och inte dess semantik - till exempel representeras privat nyckelkryptering och signatur identiskt.

Vi kan uttrycka mer komplicerade protokoll på ett sådant sätt. Se Kerberos som ett exempel. Vissa källor hänvisar till denna notation som Kerberos Notation . Vissa författare anser notationen som används av Steiner, Neuman och Schiller som en anmärkningsvärd referens.

Det finns flera modeller för att resonera kring säkerhetsprotokoll på detta sätt, varav en är BAN-logik .

Säkerhetsprotokollnotation inspirerade många av de programmeringsspråk som används i koreografisk programmering .