Authenticated Key Exchange Protocols for Parallel Network File Systems