Authenticated group Diffie-Hellman key exchange: theory and practice: Searching Inside