IS审计师建议在信用卡交易程序中加入初始有效性控制,该初始有效性控制最可能用于:()A、检验信用卡类型对应的交易类型是否有效B、验证输入卡号的格式并在数据库中查找该卡号C、确保输入的交易额在持卡人的信用额度内D、在主文件中验证该信用卡没有丢失或被盗