Substantial contribution to problem statement from Josh Howlett.

Also, language improvements and a start on a Keying algorithm section.
Remove Josh from Contributors now that he's an author.
Add reference RFC4282.

Also reorder references.