Model-Based Security Verification and Testing for Smart-cards | IEEE Conference Publication | IEEE Xplore