Peeter Laud, Meelis Roos. Formal Analysis of the Estonian Mobile-ID Protocol. In Audun Jøsang, Torleiv Maseng, Svein J. Knapskog, editors, Identity and Privacy in the Internet Age, 14th Nordic Conference on Secure IT Systems, NordSec 2009, Oslo, Norway, 14-16 October 2009. Proceedings. Volume 5838 of Lecture Notes in Computer Science, pages 271-286, Springer, 2009. [doi]
Abstract is missing.