[WG-RIUP] NIST 800-64-4