FIPS 140-1 Validation Certificates
https://www.cs.dartmouth.edu/~sws/research/fips.shtml
Last modified: 08/27/03 09:05:30 AM
Software and formal modeling lead:
- #35. IBM 4758-001 (HW + SW Layers 0,1). Level 4.
(first ever overall Level 4 cert) November 1998.
- #81. IBM 4758-013 (HW + SW Layers 0,1). Level 3. November 1999.
- #116 IBM 4758-002 (HW + SW Layers 0,1). Level 4. September 2000.
- #117 IBM 4758-023 (HW + SW Layers 0,1). Level 3. September 2000.
- #121 IBM 4758-001 (SW Layer 2). Level 3. November 2000.
- #122 IBM 4758-013 (SW Layer 2). Level 3. November 2000.
