(CNN)President-elect Donald Trump has indicated that preventing terrorist attacks is one of his top national security priorities. In pursuit of this goal, retired Gen. John Kelly, the nominee to lead the Department of Homeland Security, and other members of the national security team will have to decide whether to pursue two anti-terror proposals floated during the campaign — imposing a ban on Muslim immigrants and registering Muslim residents.