Secure communicating systems : - Huth, Michael (Cambridge University Press, 2001)