« Vérification de bytecode Java Card » : différence entre les versions
| Ligne 62 : | Ligne 62 : | ||
| périodique = Dependable Systems and Networks, 2002. DSN 2002. Proceedings. International Conference on |
| périodique = Dependable Systems and Networks, 2002. DSN 2002. Proceedings. International Conference on |
||
| id = Formal_Development_of_an_Embedded_Verifier_for_Java_Card_Byte_Code |
| id = Formal_Development_of_an_Embedded_Verifier_for_Java_Card_Byte_Code |
||
}} |
|||
* {{Article |
|||
| langue = Anglais |
|||
| prénom1 = G. |
|||
| nom1 = Barthe |
|||
| prénom2 = G. |
|||
| nom2 = Dufay |
|||
| prénom3 = M. |
|||
| nom3 = Huisman |
|||
| prénom4 = S. |
|||
| nom4 = Melo De Sousa |
|||
| titre = In Smart Card Programming and Security, International Conference on Research in Smart Cards, e-Smart 2001 |
|||
| doi = NC |
|||
| pages = 2-18 |
|||
| mois = septembre |
|||
| année = 2001 |
|||
| jour = 19-21 |
|||
| éditeur = Springer-Verlag |
|||
| isbn = 3540426108 |
|||
| périodique = NC |
|||
| id = In Smart Card Programming and Security, International Conference on Research in Smart Cards, e-Smart 2001 |
|||
}} |
}} |
||
Version du 9 octobre 2012 à 10:39
Cet article est en cours de réécriture ou de restructuration importante ().
Plusieurs utilisateurs prévoient de modifier cet article pendant plusieurs jours. Vous êtes invité(e) à en discuter en page de discussion et à participer à son amélioration de préférence en concertation pour des modifications de fond.
Bandeau apposé par Shark3119 (d · c) et Axelvvd (d · c) le 09 octobre 2012.
La vérification de bytecode dans les cartes à puces de type Java Card est utilisée pour assurer la sécurité et l'intégrité des données. Pour cela, les Java Cards peuvent intégrer directement un logiciel système jouant ce rôle. Ce logiciel système peut ainsi utiliser des techniques de cryptographies afin d'assurer cette protection des données. De plus, cette vérification de bytecode peut aussi permettre d'éviter l'intégration d'un code malveillant lors de la programmation de la carte à puce.
Articles scientifiques
- (en) Chi YaPing, Li ZhaoBin, Fang Yong et Wang ZhongHua, « An Improved Bytecode Verification Algorithm on Java Card », Computational Intelligence and Security, 2009. CIS '09. International Conference on, IEEE, , p. 552-555 (ISBN 978-1-4244-5411-2, DOI 10.1109/CIS.2009.193)
- (en) Ludovic Casset et Jean-Louis Lannet, « Increasing smart card dependability », Proceeding EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop, ACM, , p. 209-212 (ISBN NC[à vérifier : ISBN invalide], DOI 10.1145/1133373.1133416)
- (en) Ludovic Casset, Lilian Burdy et Antoine Requet, « Formal Development of an Embedded Verifier for Java Card Byte Code », Dependable Systems and Networks, 2002. DSN 2002. Proceedings. International Conference on, IEEE, , p. 51-56 (ISBN 0-7695-1101-5, DOI 10.1109/DSN.2002.1028886)
- (en) G. Barthe, G. Dufay, M. Huisman et S. Melo De Sousa, « In Smart Card Programming and Security, International Conference on Research in Smart Cards, e-Smart 2001 », NC, Springer-Verlag, , p. 2-18 (ISBN 3540426108, DOI NC)
Liens externes
- Adding reliability and trust to smartcards de l'ICT Results - Cordis - VerifiCard's Jakarta
- VefiriCard's Project INRIA's homepage for the IST-funded project VerifiCard