asn.1/devicegroup.asn1
author Edouard Tisserant <edouard@pep-project.org>
Mon, 13 Feb 2017 21:26:55 +0100
branchGroupMerge
changeset 1585 655cfb838ac6
parent 1513 e7f7e42385b5
child 1586 599deda50386
permissions -rw-r--r--
KeySync: changed handshakeRequest and groupKeys messages content (TODO:increment protocol number when finished). Now use string instead of Identity to just store uuid. Added group uuid in handshakeRequest
vb@1513
     1
/* This file is under GNU General Public License 3.0 */
vb@1513
     2
/* see LICENSE.txt */
vb@1513
     3
vb@633
     4
DEVICEGROUP
vb@908
     5
    { iso(1) org(3) dod(6) internet(1) private(4) enterprise(1) pEp (47878) sync(1) keysync(1) }
vb@633
     6
vb@633
     7
DEFINITIONS AUTOMATIC TAGS EXTENSIBILITY IMPLIED ::=
vb@633
     8
vb@628
     9
BEGIN
vb@628
    10
vb@743
    11
EXPORTS DeviceGroup-Protocol;
vb@1063
    12
IMPORTS Version, Identity, IdentityList FROM PEP;
vb@633
    13
vb@1077
    14
Beacon ::= NULL
vb@1058
    15
edouard@1216
    16
HandshakeRequest ::= SEQUENCE {
edouard@1585
    17
    partner-id     UTF8String  (SIZE(1..1024)) OPTIONAL,
edouard@1585
    18
    group-id       UTF8String  (SIZE(1..1024)) OPTIONAL
edouard@1216
    19
}
vb@628
    20
vb@711
    21
GroupKeys ::= SEQUENCE {
edouard@1585
    22
    partner-id     UTF8String  (SIZE(1..1024)) OPTIONAL,
vb@940
    23
    ownIdentities IdentityList
vb@628
    24
}
vb@628
    25
edouard@1281
    26
GroupUpdate ::= SEQUENCE {
edouard@1281
    27
    ownIdentities IdentityList
edouard@1281
    28
}
edouard@1281
    29
edouard@1297
    30
/* TODO: narrow request to single key */
edouard@1297
    31
UpdateRequest ::= NULL 
edouard@1297
    32
vb@711
    33
/* for the tags see end of sync.fsm */
vb@711
    34
vb@1058
    35
DeviceGroup-Protocol ::= SEQUENCE {
vb@1063
    36
    header SEQUENCE {
vb@1063
    37
        version     Version,
vb@1063
    38
        sequence    INTEGER,  /* always increases */
vb@1063
    39
        me          Identity, /* identity of the sender */
vb@1063
    40
        state       INTEGER,  /* state the sender is in */
edouard@1257
    41
        devicegroup BOOLEAN
vb@1063
    42
            /* signals if this message is coming from a device group member */
vb@1063
    43
    },
vb@1063
    44
vb@1058
    45
    payload CHOICE {
vb@1058
    46
        beacon [APPLICATION 2] Beacon,
vb@1058
    47
        handshakeRequest [APPLICATION 3] HandshakeRequest,
edouard@1281
    48
        groupKeys [APPLICATION 4] GroupKeys,
edouard@1297
    49
        groupUpdate [APPLICATION 5] GroupUpdate,
edouard@1297
    50
        updateRequest [APPLICATION 6] UpdateRequest
vb@1058
    51
    }
vb@631
    52
}
vb@631
    53
vb@628
    54
END
vb@628
    55