State space blow-up in the verification of secure smartcard interoperability - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Maurizio Talamo' in GoogleThis author has not been identified. Look up 'Maulahikmah Galinium' in GoogleThis author has not been identified. Look up 'Christian H. Schunck' in GoogleThis author has not been identified. Look up 'Franco Arcieri' in Google

runs on WebDSL