Downloadable computer programs for conducting validation and testing of cryptographic products; Recorded computer programs for conducting validation and testing of cryptographic products