This class covers issues of network security, in particular,
adversariel modeling, a detailed treatment of security primitives,
and methods for analysis of security. It spans the ethics and
technology of security, with examples drawn both from deployed and
proposed protocols. Topics to be covered include studies of rational
and malicious cheating, symmetric and asymmetric crtpyography,
security reductions and heuristics.