FIPS 140-1 Validation Certificates

www.cs.dartmouth.edu/~sws/research/fips.shtml Last modified: Wednesday, 27-Aug-2003 09:05:30 EDT

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.

Back to Sean's Home Page

Maintained by Sean Smith, sws@cs.dartmouth.edu