Key agreement protocols and their security analysisSecurity Proofs for Entity Authentication and Authenticated Key Transport Protocols Employing Asymmetric Techniques