The contactless smart card made by NXP MF1 IC S50, usually referred to as S50 card or Mifare 1K, complies with ISO14443A standard, 4 or 7 bytes UID, 1K data storage area, and the data is protected by