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