An information flow verifier for small embedded systems

Abstract : Insecurity arising from illegal information flow represents a real threat in small computing environments allowing code sharing, dy- namic class loading and overloading. We introduce a verifier able to cer- tify at loading time Java applications already typed with signatures de- scribing possible information flows. The verifier is implemented as a class loader and can be used on any Java Virtual Machine. The experimental results provided here support our approach and show that the verifier can be successfully embedded. As far as we know, this is the first information flow analysis adapted to open embedded systems.
Type de document :
Communication dans un congrès
Springer. Proc. Workshop in Information Security Theory and Practices 2007 Smart Cards, Mobile and Ubiquitous Computing Systems, 2007, Heraklion, Crete, Greece. 4462, pp.189--201, 2007, Lecture Notes in Computer Science
Liste complète des métadonnées

https://hal.inria.fr/inria-00544955
Contributeur : Isabelle Simplot-Ryl <>
Soumis le : jeudi 9 décembre 2010 - 11:56:45
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13

Identifiants

  • HAL Id : inria-00544955, version 1

Collections

Citation

Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl. An information flow verifier for small embedded systems. Springer. Proc. Workshop in Information Security Theory and Practices 2007 Smart Cards, Mobile and Ubiquitous Computing Systems, 2007, Heraklion, Crete, Greece. 4462, pp.189--201, 2007, Lecture Notes in Computer Science. 〈inria-00544955〉

Partager

Métriques

Consultations de la notice

157