SECTION B: Grade Rubrics

The rubric used for evaluating the assignment $($II$)$ above.

$\backslash$table$[[$Criteria$,$Excellent $(2\mathrm{.}5),$Good $(2),$Satisfactory $(1\mathrm{.}5),\backslash$table$[[$Needs$],[$Improvement $(1)]]],[\backslash$table$[[$Understanding of$],[$Case Study$]],\backslash$table$[[$Demonstrates a$],[$deep$],[$understanding of$],[$the case study,$],[$including key facts,$],[$issues$,$ and$],[$context$.]],\backslash$table$[[$Shows a solid$],[$understanding of$],[$the case study,$],[$capturing$],[$important details$],[$and context.$]],\backslash$table$[[$Demonstrates a$],[$basic$],[$understanding of$],[$the case study but$],[$may miss some$],[$key details.$]],\backslash$table$[[$Displays a limited$],[$understanding of$],[$the case study,$],[$missing significant$],[$details$.]]],[$Installation Process,$\backslash$table$[[$Successfully$],[$installs the$],[$ProVerif with no$],[$errors$,$ following$],[$all provided$],[$instructions$]],\backslash$table$[[$Installs the$],[$Proverif with$],[$minor errors that$],[$do not impact$],[$functionality$,],[$following most$],[$provided$],[$instructions$.]],\backslash$table$[[$Installs the$],[$ProVerif with$],[$some errors,$],[$requiring$],[$additional$],[$troubleshooting$.]],\backslash$table$[[$Unable to install the$],[$ProVerif$.]]],[\backslash$table$[[$Execution of Case$],[$Study Tasks$]],\backslash$table$[[$Executes all case$],[$study tasks$],[$accurately and$],[$efficiently$.]],\backslash$table$[[$Completes most$],[$tasks with minor$],[$errors or$],[$inefficiencies$.]],\backslash$table$[[$Completes some$],[$tasks with$],[$significant errors$],[$or inefficiencies.$]],\backslash$table$[[$Unable to complete$],[$case study tasks.$]]],[\backslash$table$[[$Overall$],[$Documentation and$],[$Presentation$]],\backslash$table$[[$Provides clear and$],[$comprehensive$],[$documentation of$],[$the installation$],[$process$,$ and the$],[$execution of the$],[$code$.]],\backslash$table$[[$Documents the$],[$installation$],[$process but lacks$],[$clarity or$],[$completeness$.]],$N$/$A$,\backslash$table$[[$Does not provide$],[$documentation$]]]]$ ProVerif is a computer security tool used for the formal verification of security properties in cryptographic

protocols. It falls under the category of formal methods, which involve mathematical techniques for specifying,

modeling, and verifying systems. This software can be used to prove the secrecy$,$ authenticity, and equivalence

properties of cryptographic protocols.

To$-$do list:

Download the Proverif Manual from Here.

Install the Proverif software according to the instructions in section $1\mathrm{.}4$ in the manual.

You are required to run the case study in Chapter $5,$ specifically $5\mathrm{.}1$ and $5\mathrm{.}2.$ This includes;

Simplified Needham$-$Schroeder protocol

Full Needham$-$Schroeder protocol

Write a report on your steps with screenshots.