Overview The purpose of this assignment is to get you started with the AVISPA. You are required to extend the provided model of the Needham-Schroeder protocol with new rules and invariants. You are also required to run the verifier and interpret the results of the verification. Q1) Represent the following protocol in AVISPA+SPAN verifier.

Overview The purpose of this assignment is to get you started with the AVISPA. Y required to extend the provided model of the Needham-Schroeder protoc new rules and invariants. You are also required to run the verifier and int results of the verification. Q1) Represent the following protocol in AVISPA+SPAN verifier. Public-key Authority (4) Request(PU) (1) Request(PU) (2) E(PRIPUD) (5) E(PRIPUD (3)E(PUIDAD Initiator Responder B (6) E(PUK) (7) E(PUK)