Modelling Smart Card Security Protocols in SystemC TLM | IEEE Conference Publication | IEEE Xplore