Tokeneer ID Station

NSA Technology Transfer Agreement [pdf]

Overview and Reader's Guide [pdf]

Contents

• Project_Plan [pdf] [doc]

• Protection Profile [pdf]

• Security Target [pdf][doc]

• Approaching The Common Criteria [pdf] [doc]

• Summary of Security Target Exclusions [pdf] [doc]

• Security Properties [pdf]

• System Requirements Specification [pdf] [doc]

• Formal Functional Specification [pdf]

• Interface Specification [pdf] [doc]

• Formal Design [pdf]

• INFORMED Design [pdf] [doc]

• Code Verification Summary [pdf] [doc]

• System Test Specification [pdf] [doc]

• Fault Management

  • 6_01 [pdf]

  • 6_02 [pdf]

  • 6_03 [pdf]

  • 6_04 [pdf]

  • 6_05 [pdf]

  • 6_06 [pdf]

  • 6_07 [pdf]

  • 6_08 [pdf]

  • 6_09 [pdf]

  • 6_0_FaultLog [pdf]

  • 6_10 [pdf]

  • 6_11 [pdf]

  • 6_12 [pdf]

  • 6_13 [pdf]

  • 6_14 [pdf]

  • 6_15 [pdf]

  • 6_16 [pdf]

  • 6_17 [pdf]

  • 6_18 [pdf]

  • 6_19 [pdf]

  • 6_20 [pdf]

  • 6_21 [pdf]

  • 6_22 [pdf]

  • 6_23 [pdf]

  • 6_24 [pdf]

  • 6_25 [pdf]

  • 6_26 [pdf]

  • 6_27 [pdf]

  • 6_28 [pdf]

  • 6_29 [pdf]

  • 6_30 [pdf]

  • 6_31 [pdf]

  • 6_32 [pdf]

  • 6_33 [pdf]

  • 6_34 [pdf]

  • 6_35 [pdf]

  • 6_36 [pdf]

  • 6_37 [pdf]

  • 6_38 [pdf]

  • 6_39 [pdf]

  • 6_40 [pdf]

  • 6_41 [pdf]

  • 6_42 [pdf]

  • 6_43 [pdf]

  • 6_44 [pdf]

  • 6_45 [pdf]

  • 6_46 [pdf]

  • 6_47 [pdf]

  • 6_48 [pdf]

  • 6_49 [pdf]

  • 6_50 [pdf]

  • 6_51 [pdf]

  • 6_52 [pdf]

  • 6_53 [pdf]

  • 6_54 [pdf]

• Installation Guide And User Manual [pdf] [doc]

• Summay Report [pdf] [doc]