asn.1/devicegroup.asn1
changeset 634 a1ba6e8a32eb
parent 633 a2a4ad55e19e
child 636 7c1ed9b320da
     1.1 --- a/asn.1/devicegroup.asn1	Mon May 16 15:36:26 2016 +0200
     1.2 +++ b/asn.1/devicegroup.asn1	Mon May 16 16:27:21 2016 +0200
     1.3 @@ -6,28 +6,28 @@
     1.4  
     1.5  IMPORTS Identity, KeyList, Header FROM PEP;
     1.6  
     1.7 -Beacon ::= [APPLICATION 1] SEQUENCE {
     1.8 +Beacon ::= SEQUENCE {
     1.9      header Header,
    1.10      me Identity
    1.11  }
    1.12  
    1.13 -HandshakeRequest ::= [APPLICATION 2] SEQUENCE {
    1.14 +HandshakeRequest ::= SEQUENCE {
    1.15      header Header,
    1.16      you Identity,
    1.17      me Identity
    1.18  }
    1.19  
    1.20 -OwnKeys ::= [APPLICATION 3] SEQUENCE {
    1.21 +OwnKeys ::= SEQUENCE {
    1.22      header Header,
    1.23      you Identity,
    1.24      me Identity,
    1.25      keylist KeyList
    1.26  }
    1.27  
    1.28 -SyncMessage ::= CHOICE {
    1.29 -    beacon Beacon,
    1.30 -    handshakeRequest HandshakeRequest,
    1.31 -    ownKeys OwnKeys
    1.32 +DeviceGroup-Protocol ::= CHOICE {
    1.33 +    beacon [APPLICATION 1] Beacon,
    1.34 +    handshakeRequest [APPLICATION 2] HandshakeRequest,
    1.35 +    ownKeys [APPLICATION 3] OwnKeys
    1.36  }
    1.37  
    1.38  END