أرسل هذا في رسالة قصيرة: Efficient and provably secure key agreement for modern smart metering communications