lsd0003

LSD0003: Set Union
Log | Files | Refs | README

commit 3322d96ade6bc348fd7f5987f99920989e1602e0
parent c84f6e4aa1f8121936146d4b8974e6404deb2f4b
Author: Elias Summermatter <elias.summermatter@seccom.ch>
Date:   Tue, 23 Feb 2021 12:14:34 +0100

Added some more

Diffstat:
Mdraft-summermatter-set-union.xml | 50++++++++++++++++++++++++++++++++++++++++++++------
1 file changed, 44 insertions(+), 6 deletions(-)

diff --git a/draft-summermatter-set-union.xml b/draft-summermatter-set-union.xml @@ -2025,15 +2025,53 @@ FUNCTION get_bucket_id (key, number_of_buckets_per_element, ibf_size) </section> <section anchor="security_states_full_receiving" numbered="true" toc="default"> <name>Full Receiving</name> - <t> - Bla Bla - </t> + <t>Security considerations for received messages:</t> + <dl> + <dt><xref target="messages_full_element" format="title" /></dt> + <dd> + Besides formally validate the received element its good to do a + plausibility check and count the received valid elements and compare + it to the calculated set difference. In case the difference in the count of the received + elements is unportable high the operation MUST be terminated, because the other peer + could try to waste our bandwidth. + </dd> + <dt><xref target="messages_full_done" format="title" /></dt> + <dd> + After the full done message is received no <xref target="messages_full_element" format="title" /> + message should be received. + <!-- FIXME: Check that after full done in full receiving no elements can be received anymore! Additional state? --> + </dd> + </dl> </section> <section anchor="security_states_passive_decoding" numbered="true" toc="default"> <name>Passive Decoding</name> - <t> - Bla Bla - </t> + <t>Security considerations for received messages:</t> + <dl> + <dt><xref target="messages_demand" format="title" /></dt> + <dd> + xxx + </dd> + <dt><xref target="messages_offer" format="title" /></dt> + <dd> + XXXX + </dd> + <dt><xref target="messages_inquiry" format="title" /></dt> + <dd> + XXXX + </dd> + <dt><xref target="messages_done" format="title" /></dt> + <dd> + XXXX + </dd> + <dt><xref target="messages_element" format="title" /></dt> + <dd> + XXXX + </dd> + <dt><xref target="messages_ibf" format="title" /></dt> + <dd> + XXXX + </dd> + </dl> </section> <section anchor="security_states_finish_waiting" numbered="true" toc="default"> <name>Finish Waiting</name>