Earlier quoted context omitted.
Apologies if this reply seems a little pedantic; your reply is mostly correct, but there are some large shortcuts. MIFARE is not a card type, it's more a family of cards in the 13.56MHz space, produced by NXP. There are multiple cards under the banner of Mifare, including: - Mifare Classic 1/4k - UID + Storage space, with individual keys and crypto. Suffers/ed from multiple vulnerabilities. Used mainly in cheaper hot…
Do you have any resources on how to secure Mifare Classic against cloning? I thought it's inherently insecure.
The best solution is to assume that a card's encryption is or will be broken, and build a system around it.
That is to say, store encrypted or signed data on the MIFARE card.
VIGIK is a French system that uses RSA signed data in MIFARE cards which has not been cracked to date.