Modeling of Contactless Smart Card Protocols and Automated Vulnerability Finding | IEEE Conference Publication | IEEE Xplore