A Secure Broadcast Service for LDACS with an Application to Secure GBAS