commit adc1ab8d1c360227399bab7629d1fe4ee41e1ecc
parent 45d66538c0ff998f4ed580ce889a2580849a67bf
Author: Elias Summermatter <elias.summermatter@seccom.ch>
Date: Tue, 23 Feb 2021 11:05:44 +0100
Added sc for finish closing
Diffstat:
1 file changed, 11 insertions(+), 2 deletions(-)
diff --git a/draft-summermatter-set-union.xml b/draft-summermatter-set-union.xml
@@ -1981,7 +1981,7 @@ FUNCTION get_bucket_id (key, number_of_buckets_per_element, ibf_size)
<dt><xref target="messages_done" format="title" /></dt>
<dd>
The done message SHOULD only be received if the IBF has been finished
- decoding and all offers have been sent. If a done message is resived
+ decoding and all offers have been sent. If a done message is received
before the operation MUST be terminated.
<!-- IMPLEMENT: Check that in active decoding no done message is received before ibf has been decoded-->
</dd>
@@ -1990,8 +1990,17 @@ FUNCTION get_bucket_id (key, number_of_buckets_per_element, ibf_size)
<section anchor="security_states_finish_closing" numbered="true" toc="default">
<name>Finish Closing</name>
<t>
- Bla Bla
+ In case not all sent demands or inquiries have ben answered in time the operation
+ has failed and MUST be terminated.
</t>
+ <!-- FIXME: In state diagram in finish closing only Elements can be received. What happens if i receive an offer? -->
+ <t>Security considerations for received messages:</t>
+ <dl>
+ <dt><xref target="messages_elements" format="title" /></dt>
+ <dd>
+ Checked as described in section <xref target="security_states_active_decoding" format="title" />.
+ </dd>
+ </dl>
</section>
<section anchor="security_states_finished" numbered="true" toc="default">
<name>Finished</name>
