Modelling Smart Card Security Protocols in SystemC TLM. - Aisha Fouad Bushager; Mark Zwolinski (EUC, 2010)

Smart card systems : managing risks and modelling security protocols using SystemC and Transaction Level Modelling. - Aisha Fouad Bushager (2011)