Depends on your definition of secure.
I use checkpoint VPN client, with Radius server and SecurID tokens.
It's quasi-hw security, and still accepted by many.
It's a fast deployment, and one widely used.
I would like to think that the military is doing something more secure than that (i.e., TPM), but the text you provided isn't clear about what technology they are using.
"Absence of evidence is not evidence of absence. - Carl Sagan