asn.1/devicegroup.asn1
author Edouard Tisserant <edouard@pep-project.org>
Wed, 05 Oct 2016 18:18:41 +0200
changeset 1248 c332c47fe26e
parent 1216 76e7a6748913
child 1257 0c12d65fe859
permissions -rw-r--r--
KEYSYNC: Added arbitrary hard coded sync message expiry (10m), and made special case when receiving groupKeys message so that they are not consumed giving a chance to other devices in the group to receive it as well.
     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 ::= SEQUENCE {
    14     partner Identity /* identity of the receiver */
    15 }
    16 
    17 GroupKeys ::= SEQUENCE {
    18     partner Identity, /* identity of the receiver */
    19     ownIdentities IdentityList
    20 }
    21 
    22 /* for the tags see end of sync.fsm */
    23 
    24 DeviceGroup-Protocol ::= SEQUENCE {
    25     header SEQUENCE {
    26         version     Version,
    27         sequence    INTEGER,  /* always increases */
    28         me          Identity, /* identity of the sender */
    29         state       INTEGER,  /* state the sender is in */
    30         devicegroup BOOLEAN,
    31             /* signals if this message is coming from a device group member */
    32         expiry      GeneralizedTime
    33     },
    34 
    35     payload CHOICE {
    36         beacon [APPLICATION 2] Beacon,
    37         handshakeRequest [APPLICATION 3] HandshakeRequest,
    38         groupKeys [APPLICATION 4] GroupKeys
    39     }
    40 }
    41 
    42 END
    43