commit c84f6e4aa1f8121936146d4b8974e6404deb2f4b parent adc1ab8d1c360227399bab7629d1fe4ee41e1ecc Author: Elias Summermatter <elias.summermatter@seccom.ch> Date: Tue, 23 Feb 2021 11:40:28 +0100 Add expect SE state Diffstat:
| M | draft-summermatter-set-union.xml | | | 17 | +++++++++++++---- |
1 file changed, 13 insertions(+), 4 deletions(-)
diff --git a/draft-summermatter-set-union.xml b/draft-summermatter-set-union.xml @@ -2005,14 +2005,23 @@ FUNCTION get_bucket_id (key, number_of_buckets_per_element, ibf_size) <section anchor="security_states_finished" numbered="true" toc="default"> <name>Finished</name> <t> - Bla Bla + In this state the connection is terminated, so no security considerations are needed. </t> </section> <section anchor="security_states_expect_se" numbered="true" toc="default"> <name>Expect SE</name> - <t> - Bla Bla - </t> + <t>Security considerations for received messages:</t> + <dl> + <dt><xref target="messages_se" format="title" /></dt> + <dd> + In case the Strata Estimator does not decoded the + operation MUST be terminated to prevent to get to a unresolvable state. + <!-- IMPLEMENT: If in expect SE state the strata estimator does not decode terminate the operation --> + Also a check should be in place that prevents the set difference to be + unpassable large, in case its to large the operation MUST be terminated. + <!-- IMPLEMENT: Terminate if in check expect se state for a max size difference is exceeded --> + </dd> + </dl> </section> <section anchor="security_states_full_receiving" numbered="true" toc="default"> <name>Full Receiving</name>