Esempio di configurazione di IPSec tra PIX e client VPN Cisco con certificati smart card