lsd0003

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

removed exponation from plausability check

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 = POWER(base, exponent)
+        value = exponent * (LOG2(base)/LOG2(exponent))
         IF ((value < security_level_lb) || (value > SECURITY_LEVEL)
             RETURN FALSE
         END IF