SE547: Homework 4

Deadline: 5.30pm, Thursday 5 February 2004.


The file pi-hw4 contains a proverif specification of a broken protocol.

The homework is to make as few changes as possible to the protocol, but get it to satisfy the secrecy, authenticity and freshness properties. Your protocol should be verified with proverif.

Submit your answer as a plain text file using Courses On Line.