Mathematical Modelling in Air Traffic Management Security | IEEE Conference Publication | IEEE Xplore