DSA with SHA-1 for Space Telecommand Authentication: Analysis and Results