University of Cincinnati Logo

20-CS-626 - Formal Methods
School of Computing Sciences and Informatics

Required Texts:
    Network Security: Private Communication in a Public World (2nd Edition) by Charlie Kaufman, Radia Perlman, and Mike Speciner (Hardcover, 752 pages), ISBN-10: 0130460192, 2002, $64.12 at
Secrets and Lies: Digital Security in a Networked World by Bruce Schneier (Paperback, 448 pages), ISBN-10: 0471453803, 2004, $12.21 at
Network Security Bible by Eric Cole (Paperback, 936 pages), ISBN-10: 0470502495, 2009, $37.79 at
Paul Erdos
Ladies on Campus
Oscar Robinson