Design and analysis of a public key infrastructure for SBAS data authentication. Issue 4 (14th January 2020)