RFID, At present lives in the humanity already is indispensable, because its more convenience let the humanity to rely, it may use in the entrance guard, the cargo electronic label, the automobile electron door lock, the electronic payment system (electronic currency),…etc. The application be used very widespread, therefore we will be able to inspect whether its security does enough or not. Then we will discuss in the Small-payment system in many RFID application, moreover Mifare classic contactless smart card already be sold several dozens hundred million in the world, therefore some one discovered, The Crypto1 maybe hide some secure issue.
Mifare used the Crypto1 as the protect algorithm . It have be found some risk of the secure flaw in 2008, the smart card which later period sells in Taiwan had revises these weakness. After every one believe it has been safe enough reinforcement. Then a research have try to attack Crypto1 cipher use SAT solver Tool from an algebraic differential cryptanalytic and achieved effective results
So we would like to explore further, The weakness of Mifare not only with the Crypto1 structure issue but also contains the Mifare Classic framework design of the LFSR streaming architecture. After we find Hitag2 have the Similar streaming architecture, We mount Hitag2 into Mifare Classic and use algebraic differential cryptanalytic. Then Observation the impact of the two streaming architecture.
Algebraic differential attack has effective results on Mifare Classic - Crypto1 and Mifare Classic - Hitag2. The Hamming distance between them is 13 by this paper of experimental results, but solver time did not growth with exponential.
