asn.1/devicegroup.asn1
author Edouard Tisserant <edouard@pep-project.org>
Tue, 20 Sep 2016 11:46:59 +0200
branchkeysync
changeset 1167 781218f0c0d0
parent 1077 d22b9d70370d
child 1216 76e7a6748913
permissions -rw-r--r--
Sync : use statics to share inject_sync_msg and sync_obj with other sessions.
     1 DEVICEGROUP
     2     { iso(1) org(3) dod(6) internet(1) private(4) enterprise(1) pEp (47878) sync(1) keysync(1) }
     3 
     4 DEFINITIONS AUTOMATIC TAGS EXTENSIBILITY IMPLIED ::=
     5 
     6 BEGIN
     7 
     8 EXPORTS DeviceGroup-Protocol;
     9 IMPORTS Version, Identity, IdentityList FROM PEP;
    10 
    11 Beacon ::= NULL
    12 
    13 HandshakeRequest ::= NULL
    14 
    15 GroupKeys ::= SEQUENCE {
    16     ownIdentities IdentityList
    17 }
    18 
    19 /* for the tags see end of sync.fsm */
    20 
    21 DeviceGroup-Protocol ::= SEQUENCE {
    22     header SEQUENCE {
    23         version     Version,
    24         sequence    INTEGER,  /* always increases */
    25         me          Identity, /* identity of the sender */
    26         state       INTEGER,  /* state the sender is in */
    27         devicegroup BOOLEAN
    28             /* signals if this message is coming from a device group member */
    29     },
    30 
    31     payload CHOICE {
    32         beacon [APPLICATION 2] Beacon,
    33         handshakeRequest [APPLICATION 3] HandshakeRequest,
    34         groupKeys [APPLICATION 4] GroupKeys
    35     }
    36 }
    37 
    38 END
    39