Public key infrastructure for air traffic management systems | IEEE Conference Publication | IEEE Xplore