asn.1/devicegroup.asn1
branchkeysync
changeset 1058 1d34706c62d1
parent 951 dec407deb10e
child 1061 6406a8b521e7
     1.1 --- a/asn.1/devicegroup.asn1	Tue Aug 23 07:45:23 2016 +0200
     1.2 +++ b/asn.1/devicegroup.asn1	Tue Aug 23 11:37:37 2016 +0200
     1.3 @@ -9,24 +9,26 @@
     1.4  IMPORTS Identity, IdentityList, Header FROM PEP;
     1.5  
     1.6  Beacon ::= SEQUENCE {
     1.7 -    header Header
     1.8 +
     1.9  }
    1.10  
    1.11  HandshakeRequest ::= SEQUENCE {
    1.12 -    header Header
    1.13 +
    1.14  }
    1.15  
    1.16  GroupKeys ::= SEQUENCE {
    1.17 -    header Header,
    1.18      ownIdentities IdentityList
    1.19  }
    1.20  
    1.21  /* for the tags see end of sync.fsm */
    1.22  
    1.23 -DeviceGroup-Protocol ::= CHOICE {
    1.24 -    beacon [APPLICATION 2] Beacon,
    1.25 -    handshakeRequest [APPLICATION 3] HandshakeRequest,
    1.26 -    groupKeys [APPLICATION 4] GroupKeys
    1.27 +DeviceGroup-Protocol ::= SEQUENCE {
    1.28 +    header Header,
    1.29 +    payload CHOICE {
    1.30 +        beacon [APPLICATION 2] Beacon,
    1.31 +        handshakeRequest [APPLICATION 3] HandshakeRequest,
    1.32 +        groupKeys [APPLICATION 4] GroupKeys
    1.33 +    }
    1.34  }
    1.35  
    1.36  END