EFFICIENT AND PROVABLY SECURE KEY AGREEMENT FOR MODERN SMART METERING COMMUNICATIONS