A re-formatted version of the writeup on computer security protocols I submitted for my higher project qualification (HPQ), for which I received the highest grade.