Pragma Systems Cryptographic Module

Certificate details

Certificate ID #1500
Status historical
Historical reason RNG SP800-131A Revision 1 Transition
Validation dates 10.02.2011 , 29.08.2014
Standard FIPS 140-2
Security level 1
Type Software
Embodiment Multi-Chip Stand Alone
Caveat When operated in FIPS mode with Microsoft Enhanced Cryptographic Provider (RSAENH) validated to FIPS 140-2 under Certs. #1012, #1010 and #1002 operating in FIPS mode and Microsoft Enhanced DSS and Diffie-Hellman Cryptographic Provider (DSSENH) validated to FIPS 140-2 under Certs. #1009, #1003 and #875 operating in FIPS mode
Description The Pragma Systems Cryptographic Module is a dynamically linked library that provides the cryptographic abstraction used in the Pragma Fortress Secure Shell (SSH) products.
Tested configurations
  • Microsoft Windows 2003 Server
  • Microsoft Windows 2008 Server
  • Microsoft Windows Vista (single-user mode)
Vendor Pragma Systems, Inc. http://www.pragmasys.com
Lab DXC Technology
Algorithms
References

This certificate's webpage directly references 0 certificates, transitively this expands into 0 certificates.
Certificate
Webpage

Security policy

Extracted keywords

Symmetric Algorithms
AES, 3DES, Triple-DES, TDES, HMAC, HMAC-SHA-256, HMAC-SHA-384
Asymmetric Algorithms
Diffie-Hellman, DH, DSA
Hash functions
SHA-1, SHA-256, SHA-384, SHA-512, SHA-2, MD5
Schemes
Key Exchange
Protocols
SSH
Randomness
RNG
Block cipher modes
CBC

Vendor
Microsoft

Security level
Level 1, level 2, level 1

Title PragmaCrypot FIPS 140 Security Policy
Author David S. Kulwin
Creation date D:20140811090618-04'00'
Modification date D:20140811090618-04'00'
Pages 20
Creator Microsoft® Office Word 2007
Producer Microsoft® Office Word 2007

Automated analysis

Automated inference - use with caution

All attributes shown in this section (e.g., links between certificates, products, vendors, and known CVEs) are generated by automated heuristics and have not been reviewed by humans. These methods can produce false positives or false negatives and should not be treated as definitive without independent verification. This applies equally to the Cross-references section below. If you want to know more about how this data is computed and how reliable it is, see our documentation on automated analysis. If you believe any information here is inaccurate or harmful, please submit feedback.

No automatically derived data are available in this section.

Cross-references

No references are available for this certificate.

Processing updates

  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate data changed.
  • The certificate was first processed.

Raw data

{
  "_type": "sec_certs.sample.fips.FIPSCertificate",
  "cert_id": 1500,
  "dgst": "9f69998560dcfd80",
  "heuristics": {
    "_type": "sec_certs.sample.fips.FIPSCertificate.Heuristics",
    "algorithms": {
      "_type": "Set",
      "elements": [
        "SHS#753",
        "#221",
        "#753",
        "RNG#314",
        "#1010",
        "RNG#435",
        "#691",
        "#1012",
        "HMAC#407",
        "Triple-DES#691",
        "#355",
        "#818",
        "AES#818",
        "HMAC#408",
        "#1002",
        "HMAC#452",
        "DSA#282",
        "#452",
        "#281",
        "#739",
        "RSA#354",
        "DSA#221",
        "#408",
        "RSA#355",
        "RNG#470",
        "#875",
        "DSA#281",
        "#816",
        "#354",
        "SHS#816",
        "#407",
        "#282",
        "#656",
        "AES#739",
        "#395",
        "RSA#395",
        "Triple-DES#656",
        "#1003",
        "#1009"
      ]
    },
    "cpe_matches": null,
    "direct_transitive_cves": null,
    "extracted_versions": {
      "_type": "Set",
      "elements": [
        "-"
      ]
    },
    "indirect_transitive_cves": null,
    "module_processed_references": {
      "_type": "sec_certs.sample.certificate.References",
      "directly_referenced_by": null,
      "directly_referencing": null,
      "indirectly_referenced_by": null,
      "indirectly_referencing": null
    },
    "module_prunned_references": {
      "_type": "Set",
      "elements": []
    },
    "policy_processed_references": {
      "_type": "sec_certs.sample.certificate.References",
      "directly_referenced_by": null,
      "directly_referencing": null,
      "indirectly_referenced_by": null,
      "indirectly_referencing": null
    },
    "policy_prunned_references": {
      "_type": "Set",
      "elements": []
    },
    "related_cves": null,
    "verified_cpe_matches": null
  },
  "pdf_data": {
    "_type": "sec_certs.sample.fips.FIPSCertificate.PdfData",
    "br1_deviations": 42,
    "br1_tables": null,
    "is_br1_format": false,
    "keywords": {
      "asymmetric_crypto": {
        "FF": {
          "DH": {
            "DH": 18,
            "Diffie-Hellman": 7
          },
          "DSA": {
            "DSA": 38
          }
        }
      },
      "certification_process": {},
      "cipher_mode": {
        "CBC": {
          "CBC": 1
        }
      },
      "cplc_data": {},
      "crypto_engine": {},
      "crypto_library": {},
      "crypto_protocol": {
        "SSH": {
          "SSH": 1
        }
      },
      "crypto_scheme": {
        "KEX": {
          "Key Exchange": 4
        }
      },
      "device_model": {},
      "ecc_curve": {},
      "eval_facility": {},
      "fips_cert_id": {
        "Cert": {
          "#314": 1,
          "#435": 1,
          "#470": 1
        }
      },
      "fips_certlike": {
        "Certlike": {
          "HMAC- SHA-384": 1,
          "HMAC- SHA-512": 1,
          "HMAC-SHA- 256": 2,
          "HMAC-SHA-1": 4,
          "HMAC-SHA-256": 2,
          "HMAC-SHA-384": 2,
          "HMAC-SHA1": 6,
          "HMAC-SHA512": 2,
          "SHA-1": 7,
          "SHA-2": 1,
          "SHA-256": 6,
          "SHA-384": 7,
          "SHA-512": 7
        }
      },
      "fips_security_level": {
        "Level": {
          "Level 1": 1,
          "level 1": 3,
          "level 2": 2
        }
      },
      "hash_function": {
        "MD": {
          "MD5": {
            "MD5": 1
          }
        },
        "SHA": {
          "SHA1": {
            "SHA-1": 7
          },
          "SHA2": {
            "SHA-2": 1,
            "SHA-256": 6,
            "SHA-384": 7,
            "SHA-512": 7
          }
        }
      },
      "ic_data_group": {},
      "javacard_api_const": {},
      "javacard_packages": {},
      "javacard_version": {},
      "os_name": {},
      "pq_crypto": {},
      "randomness": {
        "RNG": {
          "RNG": 1
        }
      },
      "side_channel_analysis": {},
      "standard_id": {
        "FIPS": {
          "FIPS 140-2": 12,
          "FIPS 186-2": 1
        },
        "NIST": {
          "SP 800-90": 1
        }
      },
      "symmetric_crypto": {
        "AES_competition": {
          "AES": {
            "AES": 24
          }
        },
        "DES": {
          "3DES": {
            "3DES": 1,
            "TDES": 22,
            "Triple-DES": 1
          }
        },
        "constructions": {
          "MAC": {
            "HMAC": 5,
            "HMAC-SHA-256": 1,
            "HMAC-SHA-384": 1
          }
        }
      },
      "tee_name": {},
      "tls_cipher_suite": {},
      "vendor": {
        "Microsoft": {
          "Microsoft": 25
        }
      },
      "vulnerability": {}
    },
    "module_algorithms": {
      "_type": "Set",
      "elements": [
        "RSA#354",
        "SHS#753",
        "DSA#221",
        "AES#818",
        "RSA#355",
        "HMAC#408",
        "RNG#470",
        "SHS#816",
        "RNG#314",
        "HMAC#452",
        "DSA#282",
        "RNG#435",
        "DSA#281",
        "AES#739",
        "HMAC#407",
        "RSA#395",
        "Triple-DES#656",
        "Triple-DES#691"
      ]
    },
    "policy_algorithms": {
      "_type": "Set",
      "elements": [
        "#221",
        "#753",
        "#1010",
        "#691",
        "#1012",
        "#355",
        "#818",
        "#1002",
        "#452",
        "#281",
        "#739",
        "#408",
        "#875",
        "#816",
        "#354",
        "#407",
        "#282",
        "#656",
        "#395",
        "#1003",
        "#1009"
      ]
    },
    "policy_metadata": {
      "/Author": "David S. Kulwin",
      "/CreationDate": "D:20140811090618-04\u002700\u0027",
      "/Creator": "Microsoft\u00ae Office Word 2007",
      "/ModDate": "D:20140811090618-04\u002700\u0027",
      "/Producer": "Microsoft\u00ae Office Word 2007",
      "/Title": "PragmaCrypot FIPS 140 Security Policy",
      "pdf_file_size_bytes": 665735,
      "pdf_hyperlinks": {
        "_type": "Set",
        "elements": []
      },
      "pdf_is_encrypted": false,
      "pdf_number_of_pages": 20
    }
  },
  "state": {
    "_type": "sec_certs.sample.fips.InternalState",
    "module": {
      "_type": "sec_certs.sample.document_state.DocumentState",
      "convert_ok": true,
      "download_ok": true,
      "extract_ok": true,
      "json_hash": null,
      "source_hash": null,
      "txt_hash": null
    },
    "policy": {
      "_type": "sec_certs.sample.document_state.DocumentState",
      "convert_ok": true,
      "download_ok": true,
      "extract_ok": true,
      "json_hash": "b8a88423fce993f42bdb51c3571062c7f7d46962aa58c2252a887d4b2bfb73af",
      "source_hash": "1f7e4c11ffa13d45e17018261c88b24905dafb1ab2b2715c6333b98567761575",
      "txt_hash": "42eb076e8ab4bf2ea7164d22ac14c3583e08574eab1d8edcd24189117bb43f91"
    }
  },
  "web_data": {
    "_type": "sec_certs.sample.fips.FIPSCertificate.WebData",
    "caveat": "When operated in FIPS mode with Microsoft Enhanced Cryptographic Provider (RSAENH) validated to FIPS 140-2 under Certs. #1012, #1010 and #1002 operating in FIPS mode and Microsoft Enhanced DSS and Diffie-Hellman Cryptographic Provider (DSSENH) validated to FIPS 140-2 under Certs. #1009, #1003 and #875 operating in FIPS mode",
    "certificate_pdf_url": "https://csrc.nist.gov/CSRC/media/projects/cryptographic-module-validation-program/documents/certificates/FIPS140ConsolidatedCertList0003.pdf",
    "date_sunset": null,
    "description": "The Pragma Systems Cryptographic Module is a dynamically linked library that provides the cryptographic abstraction used in the Pragma Fortress Secure Shell (SSH) products.",
    "embodiment": "Multi-Chip Stand Alone",
    "exceptions": null,
    "fw_versions": null,
    "historical_reason": "RNG SP800-131A Revision 1 Transition",
    "hw_versions": null,
    "level": 1,
    "mentioned_certs": {
      "1002": 1,
      "1003": 1,
      "1009": 1,
      "1010": 1,
      "1012": 1,
      "875": 1
    },
    "module_name": "Pragma Systems Cryptographic Module",
    "module_type": "Software",
    "revoked_link": null,
    "revoked_reason": null,
    "standard": "FIPS 140-2",
    "status": "historical",
    "sw_versions": "1.0.0.12",
    "tested_conf": [
      "Microsoft Windows 2003 Server",
      "Microsoft Windows 2008 Server",
      "Microsoft Windows Vista (single-user mode)"
    ],
    "validation_history": [
      {
        "_type": "sec_certs.sample.fips.FIPSCertificate.ValidationHistoryEntry",
        "date": "2011-02-10",
        "lab": "DXC Technology",
        "validation_type": "Initial"
      },
      {
        "_type": "sec_certs.sample.fips.FIPSCertificate.ValidationHistoryEntry",
        "date": "2014-08-29",
        "lab": "DXC Technology",
        "validation_type": "Update"
      }
    ],
    "vendor": "Pragma Systems, Inc.",
    "vendor_url": "http://www.pragmasys.com"
  }
}