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]
@inproceedings{SeyeS17, title = {Enhanced Modelling of Authenticated Key Exchange Security}, author = {Papa B. Seye and Augustin P. Sarr}, year = {2017}, doi = {10.1007/978-3-319-68063-7_3}, url = {https://doi.org/10.1007/978-3-319-68063-7_3}, researchr = {https://researchr.org/publication/SeyeS17}, cites = {0}, citedby = {0}, pages = {36-52}, booktitle = {Security and Trust Management - 13th International Workshop, STM 2017, Oslo, Norway, September 14-15, 2017, Proceedings}, editor = {Giovanni Livraga and Chris J. Mitchell}, volume = {10547}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-68063-7}, }