MasterKeyImpl.mesa

Last Edited by: Feigenbaum, May 31, 1984 3:46:19 pm PDT PDT PDT

Last Edited by: Greene, June 27, 1984 4:29:11 pm PDT

DIRECTORY

FS USING [StreamOpen, Error, Copy],

IO USING [STREAM, EndOfStream, GetLineRope, PutRope, Close],

MessageWindow USING [Append, Blink],

BigCardinals USING [BigCARD, BigToDecimalRope, BigFromDecimalRope, BigToRope, BigFromRope],

EncryptionKeys USING [ToLowerCase],

Rope USING [ROPE, Concat, Cat],

RSA USING [KeyGenerate, Decrypt];

MasterKeyImpl: CEDAR PROGRAM

IMPORTS EncryptionKeys, FS, IO, RSA, BigCardinals, Rope, MessageWindow =

BEGIN

KeyFail: PUBLIC ERROR [subclass: ATOM ← $Unspecified] = CODE;

MasterKeyCreate: PUBLIC PROC[] ~ {

length: CARDINAL ← 30;

public, private: BigCardinals.BigCARD;

PublicFile, PrivateFile: IO.STREAM;

BEGIN

[public, private] ← RSA.KeyGenerate[length];

PrivateFile ← FS.StreamOpen["///Keys/MASTER.PrivateKey", $create

!FS.Error => IF error.group = user THEN GOTO CannotOpenPrivate;];

IO.PutRope[PrivateFile, Rope.Concat[BigCardinals.BigToDecimalRope[private], "\n"]];

PrivateFile.Close[];

PublicFile ← FS.StreamOpen["///Keys/MASTER.PublicKey", $create

!FS.Error => IF error.group = user THEN GOTO CannotOpenPublic;];

IO.PutRope[PublicFile, Rope.Concat[BigCardinals.BigToDecimalRope[public], "\n"]];

PublicFile.Close[];

[]←FS.Copy["///Keys/MASTER.PublicKey", "[Indigo]<Cryptography>Keys>MASTER.PublicKey"

!FS.Error => GOTO CannotCopy];

EXITS

CannotOpenPrivate => {

MessageWindow.Append[Rope.Concat["Cannot Open ///Keys/MASTER.PrivateKey"],

TRUE];

MessageWindow.Blink;

ERROR KeyFail[$CannotOpenPrivate];

};

CannotOpenPublic => {

MessageWindow.Append[Rope.Concat["Cannot Open [Indigo]<Cryptography>Keys>MASTER.PublicKey"], TRUE];

MessageWindow.Blink;

ERROR KeyFail[$CannotOpenPublic];

};

CannotCopy => {

MessageWindow.Append["Cannot copy public key into [Indigo]<Cryptography>Keys>MASTER.PublicKey", TRUE];

MessageWindow.Blink;

ERROR KeyFail[$CannotCopy];

};

END;

};

SignPublicKey: PUBLIC PROC[user: Rope.ROPE] ~ {

RemotePublicFileName, LocalPublicFileName, lCaseUser: Rope.ROPE;

PublicFile, masterPrivateFile, masterPublicFile: IO.STREAM;
masterPublicKey, masterPrivateKey, publicKey, publicSignedByMaster: BigCardinals.BigCARD;

BEGIN

lCaseUser ← EncryptionKeys.ToLowerCase[user];

RemotePublicFileName ← Rope.Cat["[Indigo]<Cryptography>Keys>", lCaseUser, ".PublicKey"];
LocalPublicFileName ← Rope.Cat["///Temp/", lCaseUser, ".PublicKey"];
[]←FS.Copy[RemotePublicFileName, LocalPublicFileName

!FS.Error => GOTO CannotCopy];

PublicFile ← FS.StreamOpen[LocalPublicFileName, $write

!FS.Error => IF error.group = user THEN GOTO KeyNotFound;];

publicKey ← BigCardinals.BigFromDecimalRope[IO.GetLineRope[PublicFile !IO.EndOfStream => GOTO NoPublicKey]];


masterPrivateFile ← FS.StreamOpen["///Keys/MASTER.PrivateKey"

!FS.Error => IF error.group = user THEN GOTO MasterPrivateMissing];
masterPrivateKey ← BigCardinals.BigFromDecimalRope[IO.GetLineRope[masterPrivateFile ! IO.EndOfStream => GOTO MasterPrivateMissing]];
masterPrivateFile.Close[];

masterPublicFile ← FS.StreamOpen["///Keys/MASTER.PublicKey"

!FS.Error => IF error.group = user THEN GOTO MasterPublicMissing];
masterPublicKey ← BigCardinals.BigFromDecimalRope[IO.GetLineRope[masterPublicFile ! IO.EndOfStream => GOTO MasterPublicMissing]];
masterPublicFile.Close[];

publicSignedByMaster ← RSA.Decrypt[BigCardinals.BigFromRope[Rope.Concat[lCaseUser, BigCardinals.BigToRope[publicKey]]], masterPublicKey, masterPrivateKey];

IO.PutRope[PublicFile, Rope.Concat[BigCardinals.BigToDecimalRope[publicSignedByMaster], "\n"]];

PublicFile.Close[];
[]←FS.Copy[LocalPublicFileName, RemotePublicFileName

!FS.Error => GOTO CannotCopy];

EXITS

KeyNotFound => {

MessageWindow.Append[Rope.Concat["Cannot Open ", LocalPublicFileName], TRUE];

MessageWindow.Blink;

ERROR KeyFail[$PublicKeyNotFound];

};

NoPublicKey => {

MessageWindow.Append[Rope.Concat[LocalPublicFileName, "Empty"], TRUE];

MessageWindow.Blink;

ERROR KeyFail[$PublicKeyEmpty];

};
MasterPrivateMissing => {
MessageWindow.Append[Rope.Concat["///Keys/MASTER.PrivateKey is missing form local disk"], TRUE];

MessageWindow.Blink;

ERROR KeyFail[$MasterPrivateNotFound];

};
MasterPublicMissing => {
MessageWindow.Append[Rope.Concat["///Keys/MASTER.PublicKey is missing form local disk"], TRUE];

MessageWindow.Blink;

ERROR KeyFail[$MasterPublicNotFound];

};
CannotCopy => {
MessageWindow.Append["Cannot Copy Users Public File", TRUE];

MessageWindow.Blink;

ERROR KeyFail[$CannotCopyPublicKey];

};

END;

};

END.