Secure Communicating Systems Design, Analysis, and Implementation - Huth, Michael R. A. (Cambridge University Press)