---

Step * of Lemma CR-authentication-theorem

∀sth:SecurityTheory
  (CR-protocol |= CR-initiator3 authenticates 2 messages  ∧ CR-protocol |= CR-responder3 authenticates 3 messages )
BY
{ ProveAuthentication }

---

Latex:

---

Latex:
\mforall{}sth:SecurityTheory
    (CR-protocol  |=  CR-initiator3  authenticates  2  messages 
    \mwedge{}  CR-protocol  |=  CR-responder3  authenticates  3  messages  )


By

---

Latex:
ProveAuthentication

---

Home Index