asn.1/devicegroup.asn1
branchkeysync
changeset 1077 d22b9d70370d
parent 1063 8f9c94812786
child 1216 76e7a6748913
     1.1 --- a/asn.1/devicegroup.asn1	Tue Aug 23 19:20:08 2016 +0200
     1.2 +++ b/asn.1/devicegroup.asn1	Wed Aug 24 00:30:50 2016 +0200
     1.3 @@ -8,13 +8,9 @@
     1.4  EXPORTS DeviceGroup-Protocol;
     1.5  IMPORTS Version, Identity, IdentityList FROM PEP;
     1.6  
     1.7 -Beacon ::= SEQUENCE {
     1.8 +Beacon ::= NULL
     1.9  
    1.10 -}
    1.11 -
    1.12 -HandshakeRequest ::= SEQUENCE {
    1.13 -
    1.14 -}
    1.15 +HandshakeRequest ::= NULL
    1.16  
    1.17  GroupKeys ::= SEQUENCE {
    1.18      ownIdentities IdentityList
    1.19 @@ -28,7 +24,7 @@
    1.20          sequence    INTEGER,  /* always increases */
    1.21          me          Identity, /* identity of the sender */
    1.22          state       INTEGER,  /* state the sender is in */
    1.23 -        devicegroup BOOLEAN DEFAULT FALSE
    1.24 +        devicegroup BOOLEAN
    1.25              /* signals if this message is coming from a device group member */
    1.26      },
    1.27