asn.1/devicegroup.asn1
branchkeysync
changeset 940 5f0a9d0f0ecd
parent 908 f3dd95d4315f
child 951 dec407deb10e
     1.1 --- a/asn.1/devicegroup.asn1	Fri Jul 29 10:45:13 2016 +0200
     1.2 +++ b/asn.1/devicegroup.asn1	Fri Jul 29 12:09:04 2016 +0200
     1.3 @@ -6,7 +6,7 @@
     1.4  BEGIN
     1.5  
     1.6  EXPORTS DeviceGroup-Protocol;
     1.7 -IMPORTS Identity, KeyList, Header FROM PEP;
     1.8 +IMPORTS Identity, IdentityList, Header FROM PEP;
     1.9  
    1.10  Beacon ::= SEQUENCE {
    1.11      header Header,
    1.12 @@ -25,7 +25,7 @@
    1.13      header Header,
    1.14      state INTEGER,
    1.15      me Identity,
    1.16 -    keylist KeyList
    1.17 +    ownIdentities IdentityList
    1.18  }
    1.19  
    1.20  /* for the tags see end of sync.fsm */