Security arguments for the UM key agreement protocol in the NIST SP 800-56A standard