synta 0.2.6

ASN.1 parser, decoder, and encoder library with DER/BER support and C FFI
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48

-- GSSAPI (RFC 1507) — Original GSS-API ASN.1 Definitions (DASS)
-- Source: RFC 1507, Section B (Annex B)
-- Note: RFC 1507 is Informational / Historic. This is the original 1993
-- definition, predating RFC 2743. It is included for completeness.
--
-- Extraction notes:
--   * The original RFC text has no END keyword after SealedMessage; this
--     module adds END for syntactic completeness.
--   * "PERMSGTOKEN" in the SealedMessage.sealingToken field is a formatting
--     artefact in the RFC text; the correct type name is PerMsgToken
--     (as declared above it). Fixed here.
--   * ANY DEFINED BY MechType fields are rendered as Element<'a> by
--     synta-codegen.
--   * No IMPORTS — this module is self-contained.
-- EXTRACTION-WARNING: Missing END keyword in source RFC; PERMSGTOKEN corrected to PerMsgToken.

GSSAPI DEFINITIONS IMPLICIT TAGS ::= BEGIN

EXPORTS ALL;

-- OID identifying a GSS-API security mechanism.
MechType ::= OBJECT IDENTIFIER

-- Initial context-establishment token (APPLICATION 0).
ContextToken ::=
    [APPLICATION 0] IMPLICIT SEQUENCE {
        thisMech          MechType,
        responseExpected  BOOLEAN,
        innerContextToken ANY DEFINED BY MechType
    }

-- Per-message integrity token (APPLICATION 1).
PerMsgToken ::=
    [APPLICATION 1] IMPLICIT SEQUENCE {
        thisMech      MechType,
        innerMsgToken ANY DEFINED BY MechType
    }

-- Sealed (confidentiality-protected) message token (APPLICATION 2).
-- sealingToken was "PERMSGTOKEN" in the RFC text — corrected to PerMsgToken.
SealedMessage ::=
    [APPLICATION 2] IMPLICIT SEQUENCE {
        sealingToken PerMsgToken,
        confFlag     BOOLEAN,
        userData     OCTET STRING
    }

END