Proofs of Correctness for Three Decentralized Authentication Protocols Using Strand Spaces