Sciweavers

Share
NORDSEC
2009
Springer

Formal Analysis of the Estonian Mobile-ID Protocol

9 years 6 months ago
Formal Analysis of the Estonian Mobile-ID Protocol
In this paper, we report the results of the formal analysis performed on the Estonian Mobile-ID protocol (deployed since 2008), allowing citizens and permanent residents of Estonia to authenticate themselves and issue digital signatures with the help of a signature-capable SIM-card inside their mobile phone. We analyze the resiliency of the protocol to network attacks under various threat models (compromised infrastructure, client application, etc., confusing user interface) and give suggestions for improvement.
Peeter Laud, Meelis Roos
Added 26 Jul 2010
Updated 26 Jul 2010
Type Conference
Year 2009
Where NORDSEC
Authors Peeter Laud, Meelis Roos
Comments (0)
books