IC卡效验算法