An Efficient and Provable Secret Shared Key Computation for Cryptographic Protocol Across Insecure Channel | IEEE Conference Publication | IEEE Xplore