DIRECTORYCrRPC,TimeP15V2,CHNameP2V0,Rope;AuthenticationP14V2: CEDAR DEFINITIONS ~ {ROPE: TYPE ~ Rope.ROPE;SimpleVerifier: TYPE ~ CARD16;ChangeSimpleKeyType: TYPE ~ PROC [h: CrRPC.Handle, credentials: Credentials, verifier: SeqWords, newKey: CARD16];ChangeSimpleKey: ChangeSimpleKeyType;Problem: TYPE ~ MACHINE DEPENDENT { credentialsInvalid(0), verifierInvalid(1), verifierExpired(2), verifierReused(3), credentialsExpired(4), inappropriateCredentials(5)};CreateStrongKeyType: TYPE ~ PROC [h: CrRPC.Handle, credentials: Credentials, verifier: SeqWords, name: CHNameP2V0.ThreePartName, key: Block];CreateStrongKey: CreateStrongKeyType;AuthenticationErrorType: TYPE ~ ERROR [problem: Problem];AuthenticationError: AuthenticationErrorType;SimpleCredentials: TYPE ~ CHNameP2V0.ThreePartName;StrongVerifier: TYPE ~ RECORD [timeStamp: CARD32,ticks: CARD32];SeqWords: TYPE ~ REF SeqWordsObject;SeqWordsObject: TYPE ~ MACHINE DEPENDENT RECORD [body: PACKED SEQUENCE length: CARDINAL OF CARD16];Credentials: TYPE ~ RECORD [type: CredentialsType,value: SeqWords];DeleteSimpleKeyType: TYPE ~ PROC [h: CrRPC.Handle, credentials: Credentials, verifier: SeqWords, name: CHNameP2V0.ThreePartName];DeleteSimpleKey: DeleteSimpleKeyType;GetStrongCredentialsType: TYPE ~ PROC [h: CrRPC.Handle, initiator: CHNameP2V0.ThreePartName, recipient: CHNameP2V0.ThreePartName, nonce: CARD32] RETURNS [encryptedCredentialsPackage: SeqWords];GetStrongCredentials: GetStrongCredentialsType;Which: TYPE ~ MACHINE DEPENDENT { notApplicable(0), initiator(1), recipient(2), client(3)};CredentialsPackage: TYPE ~ RECORD [credentials: Credentials,nonce: CARD32,recipient: CHNameP2V0.ThreePartName,conversationKey: Block];Verifier: TYPE ~ SeqWords;Key: TYPE ~ Block;CheckSimpleCredentialsType: TYPE ~ PROC [h: CrRPC.Handle, credentials: Credentials, verifier: SeqWords] RETURNS [ok: BOOLEAN];CheckSimpleCredentials: CheckSimpleCredentialsType;ChangeStrongKeyType: TYPE ~ PROC [h: CrRPC.Handle, credentials: Credentials, verifier: SeqWords, newKey: Block];ChangeStrongKey: ChangeStrongKeyType;StrongCredentials: TYPE ~ RECORD [conversationKey: Block,expirationTime: CARD32,initiator: CHNameP2V0.ThreePartName];Block: TYPE ~ ARRAY [0..4) OF CARD16;DeleteStrongKeyType: TYPE ~ PROC [h: CrRPC.Handle, credentials: Credentials, verifier: SeqWords, name: CHNameP2V0.ThreePartName];DeleteStrongKey: DeleteStrongKeyType;CallErrorType: TYPE ~ ERROR [problem: CallProblem, whichArg: Which];CallError: CallErrorType;HashedPassword: TYPE ~ CARD16;CredentialsType: TYPE ~ MACHINE DEPENDENT { simple(0), strong(1)};CreateSimpleKeyType: TYPE ~ PROC [h: CrRPC.Handle, credentials: Credentials, verifier: SeqWords, name: CHNameP2V0.ThreePartName, key: CARD16];CreateSimpleKey: CreateSimpleKeyType;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 January 6, 1987 4:10:35 pm PSTusing Sirocco [2.0] of January 6, 1987 4:07:33 pm PST ‌ت^  ک ڑœ™Jڑœ>™>Jڑœ8™8Jڑœ5™5Jک —ڑدk	ک	JکJک
JکJک—Jک ڑدnœ‌œ‌œک*Jک Jڑ‌œ‌œ‌œکJک Jک Jڑœ‌œ‌œک—ک Jڑœ‌œ‌œI‌œکqJڑ‍œک%—ک Jڑœ	‌œ‌œ‌	œ‰کھ—ک Jڑœ‌œ‌œmکچJڑ‍œک%—ک Jڑœ‌œ‌œک9Jڑ‍œک-—ک Jڑœ‌œک3—ک ڑœ‌œ‌œکJڑœ‌œکJڑœ‌œک——ک Jڑœ
‌œ‌œک$ڑ	œ‌œ‌œ‌	œ‌œک1Jڑ
œ‌œ‌œ	‌œ‌œ‌ک0Jک——ک ڑœ‌œ‌œکJکJک——ک Jڑœ‌œ‌œaکپJڑ‍œک%—ک Jڑ	œ‌œ‌œd‌œ‌œ)کءJڑ‍œک/—ک Jڑœ‌œ‌œ‌	œ<ک[—ک ڑœ‌œ‌œک#JکJڑœ‌œکJک$Jک——ک Jڑœ
‌œک—ک Jڑœ‌œ	ک—ک Jڑ	œ‌œ‌œA‌œ‌œک~Jڑ‍œک3—ک Jڑœ‌œ‌œPکpJڑ‍œک%—ک ڑœ‌œ‌œک"JکJڑœ‌œکJک%——ک Jڑ	œ‌œ‌œ‌œ‌œک%—ک Jڑœ‌œ‌œaکپJڑ‍œک%—ک Jڑœ‌œ‌œ)کDJڑ‍	œک—ک Jڑœ‌œ‌œک—ک Jڑœ‌œ‌œ‌	œکB—ک Jڑœ‌œ‌œf‌œکژJڑ‍œک%—ک Jڑœ‌œ‌œ‌	œ،کئ—Jک JکJک — …—    Z  †  