A Provably Secure General Construction for Key Exchange Protocols Using Smart Card and Password. Issue 2 (1st March 2017)