|
|
1.1 root 1: -- $Header: Authentication1.cr,v 2.2 86/06/05 08:46:56 jqj Exp $ --
2:
3: Authentication: PROGRAM 14 VERSION 1 =
4:
5: -- $Log: Authentication1.cr,v $
6: -- Revision 2.2 86/06/05 08:46:56 jqj
7: -- Added more values for AuthenticationError, since Clearinghouse (which
8: -- DEPENDS UPON this version) might need to report inappropriateCredentials.
9: --
10: -- Revision 2.1 85/12/17 07:52:44 jqj
11: -- cleaned up some comments
12: --
13: -- Revision 2.0 85/11/21 07:24:26 jqj
14: -- 4.3BSD standard release
15: --
16: -- Revision 1.4 85/03/11 16:43:49 jqj
17: -- *** empty log message ***
18: --
19: -- Revision 1.3 85/03/11 16:43:49 jqj
20: -- Public alpha-test version, released 11 March 1985
21: --
22: -- Revision 1.2 85/03/01 06:12:50 jqj
23: -- modifications for use with Unix Courier compiler: eliminated dependency
24: -- on Clearinghouse. Added HashedPassword declaration which had been
25: -- mysteriously forgotten.
26: --
27: -- Revision 1.1 85/03/01 06:06:51 jqj
28: -- Initial revision - from Rochester
29: --
30:
31: BEGIN
32:
33: -- faked dependency for Clearinghouse (2) VERSION 2 --
34: -- note that the dependency has been deleted to eliminate circularity --
35:
36: -- DEPENDS UPON
37: -- Clearinghouse (2) VERSION 2;
38:
39: ClearinghouseOrganization: TYPE = STRING;
40: ClearinghouseDomain: TYPE = STRING;
41: ClearinghouseObject: TYPE = STRING;
42:
43: ClearinghouseThreePartName: TYPE = RECORD [
44: organization: ClearinghouseOrganization,
45: domain: ClearinghouseDomain,
46: object: ClearinghouseObject
47: ];
48:
49: ClearinghouseName: TYPE = ClearinghouseThreePartName;
50:
51: -- Types --
52:
53: CredentialsType: TYPE = CARDINAL;
54:
55: Credentials: TYPE = RECORD[
56: type: CredentialsType,
57: value: SEQUENCE OF UNSPECIFIED];
58:
59: simpleCredentials: CredentialsType = 0;
60:
61: SimpleCredentials: TYPE = ClearinghouseName;
62:
63: Verifier: TYPE = SEQUENCE 12 OF UNSPECIFIED;
64:
65: HashedPassword: TYPE = CARDINAL;
66:
67: SimpleVerifier: TYPE = HashedPassword;
68:
69: -- remote errors --
70:
71: Which: TYPE = {notApplicable(0), initiator(1), recipient(2), client(3)};
72: CallProblem: TYPE = CARDINAL;
73: CallError: ERROR [problem: CallProblem, whichArg: Which] = 1;
74:
75: Problem: TYPE = {credentialsInvalid(0), verifierInvalid(1),
76: verifierExpired(2), verifierReused(3), credentialsExpired(4),
77: inappropriateCredentials(5)
78: };
79: AuthenticationError: ERROR [problem: Problem] = 2;
80:
81: END.
82:
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.