Secure extensible type system for efficient embedded operating system by using metatypes

Gilles Grimaud 1 Yann Hodique 2 Isabelle Simplot-Ryl 2
1 POPS - System and Networking for Portable Objects Proved to be Safe
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe, IRCICA
2 LIFL - Laboratoire d'Informatique Fondamentale de Lille
Abstract : In the context of extensible system for small secure em- bedded devices, we present an extensible type system for typed intermediate languages that unifies in a unique hier- archy type systems from various source high level languages and ensures integrity and confidentiality. To increase exe- cution efficiency and use flexibility, we propose a dynamic binding mechanism that allows the programmer to describe the bindings of his code without breaking the type system.
Type de document :
Communication dans un congrès
Sanso 2005: First International Workshop on System and Networking for Smart Objects (SaNSO 2005), in Proc. 11th International Conference on Parallel and Distributed Systems, 2005, Fukuoka, Japan. IEEE computer Society, 2, pp.83--87, 2005
Liste complète des métadonnées
https://hal.inria.fr/inria-00546601
Contributeur : Isabelle Simplot-Ryl <>
Soumis le : mardi 14 décembre 2010 - 14:31:53
Dernière modification le : jeudi 11 janvier 2018 - 06:22:13

Identifiants

  • HAL Id : inria-00546601, version 1

Collections

INRIA | LIFL | UNIV-LILLE3

Citation

Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl. Secure extensible type system for efficient embedded operating system by using metatypes. Sanso 2005: First International Workshop on System and Networking for Smart Objects (SaNSO 2005), in Proc. 11th International Conference on Parallel and Distributed Systems, 2005, Fukuoka, Japan. IEEE computer Society, 2, pp.83--87, 2005. 〈inria-00546601〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

144

Contact


archive-ouverte@inria.fr