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 October 7, 1986 9:23:29 am PDT using Sirocco [1.0] of September 25, 1986 3:44:23 am PDT Ê^˜šœ™Jšœ>™>Jšœ8™8Jšœ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˜—…— ¾