Re: [Pki-users] US Government SmartCard question