Papa B. Seye, Augustin P. Sarr. Enhanced Modelling of Authenticated Key Exchange Security. In Giovanni Livraga, Chris J. Mitchell, editors, Security and Trust Management - 13th International Workshop, STM 2017, Oslo, Norway, September 14-15, 2017, Proceedings. Volume 10547 of Lecture Notes in Computer Science, pages 36-52, Springer, 2017. [doi]
Abstract is missing.