The application of software and safety engineering techniques to security protocol development. - Nathalie Louise Foster (2002)