Added text about downgrade attacks provided by Thomas.
Editorial changes to Section 20 about downgrading attacks.