Validating a European ATM Security System Architecture | IEEE Conference Publication | IEEE Xplore