Provably secure pseudo-identity based device authentication for smart cities environment. (August 2018)