Added sections on replay attacks and message insertion. Fixed markup issue.