Assignment 4 for the paper "Highly Secure Systems" at the Auckland University of Technology.