Security Analysis of the Simple Lightweight Authentication Protocol

Radio frequency identification technology is becoming ubiquitous and, as an unfortunate side effect, more and more authentication solutions come to light that have plenty of security issues to deal with. In our former contribution, we introduced a solely hash-based secure authentication algorithm that is capable of providing protection against most of the well-known attacks and performs exceptionally well even in very large systems. We gave a theoretical analysis of the SLAP protocol from the point of view of security and performance. In this paper, we define the attacker model and we summarize the major security aspects in case of small computational capacity systems; furthermore we give a comparative table about some lightweight protocols' security features. Finally, we fully prove the correctness of the SLAP protocol with GNY logics.