Mitigating Type Confusion on Java Card

Jean Dubreuil Guillaume Bouffard 1, * N. Thampi Bhagyalekshmy 1 Jean-Louis Lanet 1
* Auteur correspondant
1 XLIM-DMI - DMI
XLIM - XLIM
Abstract : One of the challenges for smart card deployment is the security interoperability. A smart card resistant to an attack on a given platform should be able to guarantee the same behavior on another platform. But the current implementations do not comply with this requirement. In order to improve such standardization we propose a framework based on annotations with an external pre-processing to switch the Java Card Virtual Machine (JCVM) into a secure mode by activating a set of countermeasures. An example has been proposed in this paper for implementing a countermeasure against type confusion with a fault attack. Smart cards are often the target of software, hardware or combined attacks. In recent days most of the attacks are based on fault injection which can modify the behavior of applications loaded onto the card, changing them into mutant applications. This countermeasure requires a transformation of the original program byte codes which remain semantically equivalent. It needs a modification of the JCVM which stays backward compatible and a dedicated framework to deploy these applications. Thus, the proposed platform can resist to a fault enabled mutant.
Type de document :
Article dans une revue
Liste complète des métadonnées

https://hal-unilim.archives-ouvertes.fr/hal-00966327
Contributeur : Guillaume Bouffard <>
Soumis le : mercredi 26 mars 2014 - 14:29:22
Dernière modification le : jeudi 11 janvier 2018 - 06:26:29

Identifiants

Collections

Citation

Jean Dubreuil, Guillaume Bouffard, N. Thampi Bhagyalekshmy, Jean-Louis Lanet. Mitigating Type Confusion on Java Card. International Journal of Secure Software Engineering, 2013, 4 (2), pp.19-39. ⟨10.4018/jsse.2013040102⟩. ⟨hal-00966327⟩

Partager

Métriques

Consultations de la notice

254