I would love to hear more about this. I've been looking for a good sso solution that uses crypto cards.
--
Last time I checked DoD systems are configured to automatically log you out of your session upon removal of your CAC.
And if you pull the card out, you can't access anything anymore that requires it (and on a Windows domain that DOESNT lock / terminate the session, you'll be able to access things until your kerberos ticket expires or you need to get to something you don't have a ticket for).
Needless to say, the smart cards stayed in the users' PCs even when they weren't at their desks.