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 Amazon.com.
 
Secrets and Lies: Digital Security in a Networked World by Bruce Schneier (Paperback, 448 pages), ISBN-10: 0471453803, 2004, $12.21 at Amazon.com.
 
Network Security Bible by Eric Cole (Paperback, 936 pages), ISBN-10: 0470502495, 2009, $37.79 at Amazon.com.
ERC
MainStreet
Paul Erdos
NIT
Ladies on Campus
Oscar Robinson