Using Trusted Key Entry (TKE) to Initialize Smart Cards for TKE Workstation and EP11 Hardware Security Module (HSM) Management