Multiple security domain nondeducibility air traffic surveillance systems