lsd0003

commit 496db3244dfa0b7ea14acabcb1115fb1382b250b
parent 56054ec8713219657df97614d91b0c18c389692b
Author: Elias Summermatter <elias.summermatter@seccom.ch>
Date:   Mon, 14 Jun 2021 19:22:30 +0200

removed exponation from plausability check FIX

Diffstat:
M
draft-summermatter-set-union.xml
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/draft-summermatter-set-union.xml b/draft-summermatter-set-union.xml
@@ -2805,7 +2805,7 @@ FUNCTION full_sync_plausibility_check (state,rs,lis,rd,rf)
         # Formula to verify plausibility
         base = 1 - (rs / (lis + rs))
         exponent = rd - rf * lis / rs
-        value = exponent * (LOG2(base)/LOG2(exponent))
+        value = exponent * (LOG2(base)/LOG2(2))
         IF ((value < security_level_lb) || (value > SECURITY_LEVEL)
             RETURN FALSE
         END IF