Hmm, looks interesting - I was only familiar with the RSA product.
They use an open standard, something (which I hadn't heard of before) called the OATH one-time password algorithm. There are a few other vendors who use the same standard, so if you can't find an OS X implementation from verisign, perhaps you can find another implementation from someone else. There's even a reference implementation you can download.