A Load Time Policy Checker for Open Multi-application Smart Cards