Update: I've created scripts to automate much of this process. You can find
them on GitHub.
I often need to connect to a VPN with a Cisco ASA box at the
head-end, using a DoD CAC (smart card) for authentication.
On Windows, this is often accomplished using Cisco's AnyConnect VPN …