Provably secure user authentication and key agreement scheme for wireless sensor networks
Analysis of key-exchange protocols and their use for building secure channels