Common use of Security Proof Clause in Contracts

Security Proof. In this section we present the formal security proof for our protocol described in the previous section. But before proceeding with the formal security proof we provide an informal discussion how our construction presented in Section 6 counters and fixes all the attacks presented in [MM13] for the protocol [FAA14].

Security Proof. In this section we present the formal security proof for our protocol described in the previous section. But before proceeding with the formal security proof we provide an informal infor- mal discussion how our construction presented in Section section 6 counters and fixes all the attacks presented in [MM13] for the protocol [FAA14].