From c7f331cb566223a5af64ce85f28e2df11718150d Mon Sep 17 00:00:00 2001 From: Andre Henriques Date: Sat, 2 Dec 2023 17:49:09 +0000 Subject: [PATCH] Finished 1.2 --- secondcw/cw/cw.tex | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/secondcw/cw/cw.tex b/secondcw/cw/cw.tex index 0d2aee8..aeed34f 100644 --- a/secondcw/cw/cw.tex +++ b/secondcw/cw/cw.tex @@ -75,10 +75,9 @@ \item{Agreement between Application and Phone over the message and the message m} \end{itemize} + There are 10 overall claims, where only three do not fail. The secrecy of SesK from the perspective of the Network. And agreement over the SesK and the time to live between the Phone and the Network, and the Application and the Network. - - - + The protocol as it stands does not guarantee secrecy and agreement.