Validating the Correctness of Hardware Implementations of the NBS Data Encryption Standard

Gait, Jason

doi:https://doi.org/10.6028/NBS.SP.500-20e1977

July 19, 2023: URLs for CSRC publication details pages have changed. Legacy URLs should automatically redirect to the new URLs. However, links to the actual publications have NOT changed (e.g., DOIs and PDFs on nvlpubs.nist.gov). Please send inquiries to csrc-inquiry@nist.gov. [12:20 pm ET - If you received "Page Not Found" errors recently, please retry accessing those files. File synchronization should now be complete.]

NBS SP 500-20

Withdrawn on September 01, 1980. Superseded by SP 500-20

Validating the Correctness of Hardware Implementations of the NBS Data Encryption Standard

Documentation

Date Published: November 1977

Author(s)

Jason Gait (NBS)

Abstract

This publication describes the design and operation of the NBS testbed that is used for the validation of hardware implementations of the Federal Information Processing Data Encryption Standard (DES). A particular implementation is verified if it correctly performs a set of 291 test cases that have been defined to exercise every basic element of the algorithm. As a further check on the correctness of the implementation, an extensive Monte-Carlo test is performed. This publication includes the full specification of the DES algorithm, a complete listing of the DES test set, and a detailed description of the interface to the testbed.

Keywords

communications security; computer security; cryptography; encryption standard; interface requirements; Monte-Carlo testing; testbed; test cases; validating correctness

Control Families

None selected

Documentation

Publication:
https://doi.org/10.6028/NBS.SP.500-20e1977
Download URL

Supplemental Material:
None available

Document History:
11/01/77: SP 500-20 (Final)