A provably secure dynamic ID-based authenticated key agreement framework for mobile edge computing without a trusted party. (December 2020)