Secure communicating systems : design, analysis, and implementation - Huth, Michael, 1962- (Cambridge University Press, 2001)