Efficient and Secure Key Exchange Protocol Based on Elliptic Curve and Security Models | IEEE Conference Publication | IEEE Xplore