The student will survey modern AIr Traffic Control and its subsystems, do an in-depth threat analysis on a representative subsystem, and model the interaction of a malicious attacker trying to undermine and a defender trying to protect the subsystem.