DIRECTORYCrRPC,TimeP15V2,CHNameP2V0,Rope;AuthenticationP14V2: CEDAR DEFINITIONS ~ {ROPE: TYPE ~ Rope.ROPE;SimpleVerifier: TYPE ~ CARDINAL;ChangeSimpleKey: PROC [h: CrRPC.Handle, credentials: Credentials, verifier: SeqWords, newKey: CARDINAL];Problem: TYPE ~ MACHINE DEPENDENT {credentialsInvalid(0),verifierInvalid(1),verifierExpired(2),verifierReused(3),credentialsExpired(4),inappropriateCredentials(5)};CreateStrongKey: PROC [h: CrRPC.Handle, credentials: Credentials, verifier: SeqWords, name: CHNameP2V0.ThreePartName, key: Block];AuthenticationError: ERROR [problem: Problem];SimpleCredentials: TYPE ~ RECORD [organization: ROPE, domain: ROPE, object: ROPE];StrongVerifier: TYPE ~ RECORD [timeStamp: CARD, ticks: CARD];SeqWords: TYPE ~ REF SeqWordsObject;SeqWordsObject: TYPE ~ MACHINE DEPENDENT RECORD [body: PACKED SEQUENCE length: CARDINAL OF CARDINAL];Credentials: TYPE ~ RECORD [type: CredentialsType, value: SeqWords];DeleteSimpleKey: PROC [h: CrRPC.Handle, credentials: Credentials, verifier: SeqWords, name: CHNameP2V0.ThreePartName];GetStrongCredentials: PROC [h: CrRPC.Handle, initiator: CHNameP2V0.ThreePartName, recipient: CHNameP2V0.ThreePartName, nonce: CARD] RETURNS [encryptedCredentialsPackage: SeqWords];Which: TYPE ~ MACHINE DEPENDENT {notApplicable(0),initiator(1),recipient(2),client(3)};CredentialsPackage: TYPE ~ RECORD [credentials: Credentials, nonce: CARD, recipient: CHNameP2V0.ThreePartName, conversationKey: Block];Verifier: TYPE ~ SeqWords;Key: TYPE ~ Block;CheckSimpleCredentials: PROC [h: CrRPC.Handle, credentials: Credentials, verifier: SeqWords] RETURNS [ok: BOOLEAN];ChangeStrongKey: PROC [h: CrRPC.Handle, credentials: Credentials, verifier: SeqWords, newKey: Block];StrongCredentials: TYPE ~ RECORD [conversationKey: Block, expirationTime: CARD, initiator: CHNameP2V0.ThreePartName];Block: TYPE ~ ARRAY [0..4) OF CARDINAL;DeleteStrongKey: PROC [h: CrRPC.Handle, credentials: Credentials, verifier: SeqWords, name: CHNameP2V0.ThreePartName];CallError: ERROR [problem: CallProblem, whichArg: Which];HashedPassword: TYPE ~ CARDINAL;CredentialsType: TYPE ~ MACHINE DEPENDENT {simple(0),strong(1)};CreateSimpleKey: PROC [h: CrRPC.Handle, credentials: Credentials, verifier: SeqWords, name: CHNameP2V0.ThreePartName, key: CARDINAL];CallProblem: TYPE ~ MACHINE DEPENDENT {tooBusy(0),accessRightsInsufficient(1),keysUnavailable(2),strongKeyDoesNotExist(3),simpleKeyDoesNotExist(4),strongKeyAlreadyRegistered(5),simpleKeyAlreadyRegistered(6),domainForNewKeyUnavailable(7),domainForNewKeyUnknown(8),badKey(9),badName(10),databaseFull(11),other(12)};}...    Ò  AuthenticationP14V2.MesaCopyright (C) 1986 by Xerox Corporation.  All rights reserved.Generated by Demers.pa at November 22, 1986 2:18:26 pm PSTusing Sirocco [1.0] of September 25, 1986 3:44:23 am PDTÊ^  ˜ šœ™Jšœ>™>Jšœ:™:Jšœ8™8J˜ —šÏk	˜	J˜J˜
J˜J˜—J˜ šÏnœœœ˜*J˜ Jšœœœ˜J˜ Jšœœœ˜ J˜ JšžœœIœ˜hJ˜ šœ	œœ	œ˜#J˜J˜J˜J˜J˜J˜J˜—J˜ Jšžœœm˜‚J˜ Jšžœœ˜.J˜ šœœœ˜"Jšœœ˜Jšœœ˜Jšœ˜J˜—J˜ šœœœ˜Jšœœ˜Jšœ˜J˜—J˜ Jšœ
œœ˜$š	œœœ	œœ˜1Jš
œœœ	œœ˜2J˜—J˜ šœœœ˜J˜J˜J˜—J˜ Jšžœœa˜vJ˜ Jšžœœdœœ)˜´J˜ šœœœ	œ˜!J˜J˜J˜J˜	J˜—J˜ šœœœ˜#J˜Jšœœ˜J˜%J˜J˜—J˜ Jšœ
œ˜J˜ Jšœœ	˜J˜ JšžœœAœœ˜sJ˜ JšžœœP˜eJ˜ šœœœ˜"J˜Jšœœ˜J˜#J˜—J˜ Jš	œœœœœ˜'J˜ Jšžœœa˜vJ˜ Jšž	œœ)˜9J˜ Jšœœœ˜ J˜ šœœœ	œ˜+J˜
J˜	J˜—J˜ Jšžœœfœ˜…J˜ šœœœ	œ˜'J˜J˜J˜J˜J˜J˜J˜J˜J˜J˜
J˜J˜J˜	J˜—J˜ J˜ —J˜J˜ — …—    
  À  