Added spec for the authenticate message
Added candidate messages and sequence diagrams to specification