DIRECTORY  BigCardinals USING[BigCARD],  Rope USING[ROPE];EncryptionKeys: CEDAR DEFINITIONS =BEGINKeyFail: ERROR [subclass: ATOM _ $Unspecified]; CreateKey: PROC[];GetPrivateKey: PROC[] RETURNS[PrivateKey: BigCardinals.BigCARD];--retrieves the user's private key from ///Keys/UserName.PrivateKey. Raises KeyFail with subclass--$CannotOpenPrivate if there's a problem.GetPublicKey: PROC[sender: Rope.ROPE, authenticate: BOOLEAN _ FALSE] RETURNS[PublicKey: BigCardinals.BigCARD];--retrieves the user's public key from ///Indigo/Cryptography/UserName.PublicKey.  Raises KeyFail--with subclass $PublicKeyNotFound if there's a problem.ToLowerCase: PROC[in: Rope.ROPE] RETURNS[out: Rope.ROPE];END.  b  EncryptionKeys.mesaLast Edited by: Feigenbaum, May 31, 1984 5:05:31 pm PDTLast Edited by: Greene, June 27, 1984 4:22:55 pm PDTThe subclass is one of $CannotOpenPublic, $CannotOpenPrivate, $PublicKeyNotFound,  $CannotCopy, as explained below.Generates a public key, private key pair by calling RSA.KeyGenerate.  Converts both todecimal ropes and stores the private key in ///Keys/UserName.PrivateKey, the public key in /indigo/cryptography/UserName.PublicKey, where UserName is the login name without the .pa or similar extension.  Raises KeyFail if it 1) cannot open a local file named ///Keys/UserName.PrivateKey, or 2) cannot open a local file named ///Temp/UserName.PublicKey, or 3) cannot copy ///Temp/UserName.Publickey to /indigo/cryptography/UserName.PublicKey, with subclass $CannotOpenPrivate, $CannotOpenPublic, or $CannotCopy, respectively.Ê  ˜ Jšœ™J™7J™4JšÏk	˜	Jšœœ
˜Jšœœœ˜J˜ Jšœœœ˜#Jš˜J˜ Jšœ	œœ˜0Jšœs™sJ˜ JšÏn	œœ˜JšœV™VJšœZ™ZJšÏcV™VJšœR™RJšœŠ™ŠJšžœœœ$ŸŒ˜ÍJš	žœœœ!œ#Ÿš˜‰Jš
žœœ
œœœ˜9J˜ Jšœ˜J˜ — …—    È  1  