We have military-issued smart cards, but are not on the military's network.  We want to be able to use these to authenticate our Active Directory domain. On the smartcard, our ID certificate con...