Return to BasicAuthentication.cr CVS log

Up to [CSRG BSD Unix] / 43BSDTahoe / new / xns / examples / authchtest

Annotation of 43BSDTahoe/new/xns/examples/authchtest/BasicAuthentication.cr, revision 1.1.1.1

1.1       root        1: BasicAuthentication: PROGRAM 14 VERSION 2 =
                      2: -- a subset of Authentication, hopefully big enough for some testing --
                      3: BEGIN
                      4:     DEPENDS UPON Time(15) VERSION 2;
                      5: 
                      6: -- faked dependency --
                      7: 
                      8: Organization: TYPE = STRING;
                      9: Domain: TYPE = STRING;
                     10: Object: TYPE = STRING;
                     11: 
                     12: ThreePartName: TYPE = RECORD [
                     13:     organization: Organization,
                     14:     domain: Domain,
                     15:     object: Object
                     16:     ];
                     17: 
                     18: Clearinghouse_Name:  TYPE = ThreePartName;
                     19: 
                     20: -- Types --
                     21: 
                     22: CredentialsType: TYPE = {simple(0), strong(1)};
                     23: 
                     24: Credentials: TYPE = RECORD [type: CredentialsType,
                     25:                            value:SEQUENCE OF UNSPECIFIED];
                     26: 
                     27: SimpleCredentials: TYPE = Clearinghouse_Name;
                     28: 
                     29: HashedPassword: TYPE = CARDINAL;
                     30: 
                     31: SimpleVerifier: TYPE = HashedPassword;
                     32: 
                     33: Verifier: TYPE = SEQUENCE 12 OF UNSPECIFIED;
                     34: 
                     35: -- errors --
                     36: 
                     37: Problem: TYPE = {
                     38:     credentialsInvalid(0),
                     39:     verifierInvalid(1),
                     40:     verifierExpiered(2),
                     41:     verifierReused(3),
                     42:     credentialsExpired(4),
                     43:     inappropriateCredeitnals(5) };
                     44: AuthenticationError: ERROR[problem: Problem] = 2;
                     45: 
                     46: CallProblem: TYPE = {
                     47:     tooBusy(0),
                     48:     accessRightsInsufficient(1),
                     49:     keysUnavailable(2),
                     50:     strongKeyDoesNotExist(3),
                     51:     simpleKeyDoesNotExist(4),
                     52:     strongKeyAlreadyRegistered(5),
                     53:     simpleKeyAlreadyRegistered(6),
                     54:     domainForNewKeyUnavailable(7),
                     55:     domainForNewKeyUnknown(8),
                     56:     badKey(9),
                     57:     badName(10),
                     58:     databaseFull(11),
                     59:     other(12) };
                     60: Which: TYPE = {notApplicable(0), initiator(1), recipient(2), client(3) };
                     61: CallError: ERROR [problem: CallProblem, whichArg: Which] = 1;
                     62: 
                     63: -- PROCEDURES --
                     64: 
                     65: CheckSimpleCredentials: PROCEDURE [credentials: Credentials, verifier: Verifier]
                     66:        RETURNS[ok: BOOLEAN]
                     67:        REPORTS[AuthenticationError, CallError] = 2;
                     68: 
                     69: END.

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.