asn.1/devicegroup.asn1
author Volker Birk <vb@pep-project.org>
Thu, 16 Jun 2016 14:20:26 +0200
changeset 743 e4b613ebac2f
parent 711 d88dea0f5448
child 907 8f5cca5bfa2d
permissions -rw-r--r--
keysync ...
     1 DEVICEGROUP
     2 
     3 DEFINITIONS AUTOMATIC TAGS EXTENSIBILITY IMPLIED ::=
     4 
     5 BEGIN
     6 
     7 EXPORTS DeviceGroup-Protocol;
     8 IMPORTS Identity, KeyList, Header FROM PEP;
     9 
    10 Beacon ::= SEQUENCE {
    11     header Header,
    12     state INTEGER,
    13     me Identity
    14 }
    15 
    16 HandshakeRequest ::= SEQUENCE {
    17     header Header,
    18     state INTEGER,
    19     me Identity,
    20     partner Identity
    21 }
    22 
    23 GroupKeys ::= SEQUENCE {
    24     header Header,
    25     state INTEGER,
    26     me Identity,
    27     keylist KeyList
    28 }
    29 
    30 /* for the tags see end of sync.fsm */
    31 
    32 DeviceGroup-Protocol ::= CHOICE {
    33     beacon [APPLICATION 1] Beacon,
    34     handshakeRequest [APPLICATION 2] HandshakeRequest,
    35     groupKeys [APPLICATION 3] GroupKeys
    36 }
    37 
    38 END
    39