asn.1/devicegroup.asn1
branchkeysync
changeset 951 dec407deb10e
parent 940 5f0a9d0f0ecd
child 1058 1d34706c62d1
     1.1 --- a/asn.1/devicegroup.asn1	Sun Jul 31 09:04:42 2016 +0200
     1.2 +++ b/asn.1/devicegroup.asn1	Sun Jul 31 19:38:23 2016 +0200
     1.3 @@ -9,31 +9,24 @@
     1.4  IMPORTS Identity, IdentityList, Header FROM PEP;
     1.5  
     1.6  Beacon ::= SEQUENCE {
     1.7 -    header Header,
     1.8 -    state INTEGER,
     1.9 -    me Identity
    1.10 +    header Header
    1.11  }
    1.12  
    1.13  HandshakeRequest ::= SEQUENCE {
    1.14 -    header Header,
    1.15 -    state INTEGER,
    1.16 -    me Identity,
    1.17 -    partner Identity
    1.18 +    header Header
    1.19  }
    1.20  
    1.21  GroupKeys ::= SEQUENCE {
    1.22      header Header,
    1.23 -    state INTEGER,
    1.24 -    me Identity,
    1.25      ownIdentities IdentityList
    1.26  }
    1.27  
    1.28  /* for the tags see end of sync.fsm */
    1.29  
    1.30  DeviceGroup-Protocol ::= CHOICE {
    1.31 -    beacon [APPLICATION 1] Beacon,
    1.32 -    handshakeRequest [APPLICATION 2] HandshakeRequest,
    1.33 -    groupKeys [APPLICATION 3] GroupKeys
    1.34 +    beacon [APPLICATION 2] Beacon,
    1.35 +    handshakeRequest [APPLICATION 3] HandshakeRequest,
    1.36 +    groupKeys [APPLICATION 4] GroupKeys
    1.37  }
    1.38  
    1.39  END