We should probably verify that our smart card implementation works correctly when there is the local PKCS#11 system caches the PIN. I.e. we need to check that we do not ask for the PIN needlessly. According to SecMaker, we should use the function GetSessionInfo() to see if the session is already set up to access the secure portions of the chip.