Safety through Security - Simpson, A (DPhil thesis‚ Oxford University Computing Laboratory, 1996)