Secure Communicating Systems: Design, Analysis, , Michael R. A. Huth, Very Good