asn.1/devicegroup.asn1
branchkeysync
changeset 1063 8f9c94812786
parent 1061 6406a8b521e7
child 1077 d22b9d70370d
     1.1 --- a/asn.1/devicegroup.asn1	Tue Aug 23 11:59:54 2016 +0200
     1.2 +++ b/asn.1/devicegroup.asn1	Tue Aug 23 12:06:10 2016 +0200
     1.3 @@ -6,7 +6,7 @@
     1.4  BEGIN
     1.5  
     1.6  EXPORTS DeviceGroup-Protocol;
     1.7 -IMPORTS IdentityList, Header FROM PEP;
     1.8 +IMPORTS Version, Identity, IdentityList FROM PEP;
     1.9  
    1.10  Beacon ::= SEQUENCE {
    1.11  
    1.12 @@ -23,7 +23,15 @@
    1.13  /* for the tags see end of sync.fsm */
    1.14  
    1.15  DeviceGroup-Protocol ::= SEQUENCE {
    1.16 -    header Header,
    1.17 +    header SEQUENCE {
    1.18 +        version     Version,
    1.19 +        sequence    INTEGER,  /* always increases */
    1.20 +        me          Identity, /* identity of the sender */
    1.21 +        state       INTEGER,  /* state the sender is in */
    1.22 +        devicegroup BOOLEAN DEFAULT FALSE
    1.23 +            /* signals if this message is coming from a device group member */
    1.24 +    },
    1.25 +
    1.26      payload CHOICE {
    1.27          beacon [APPLICATION 2] Beacon,
    1.28          handshakeRequest [APPLICATION 3] HandshakeRequest,