Security Design for Multi-service Smart Card Systems | IEEE Conference Publication | IEEE Xplore