Maurizio Talamo, Maulahikmah Galinium, Christian H. Schunck, Franco Arcieri. State space blow-up in the verification of secure smartcard interoperability. In IEEE International Carnahan Conference on Security Technology, ICCST 2012, Newton, MA, USA, October 15-18, 2012. pages 119-125, IEEE, 2012. [doi]
Abstract is missing.