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

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

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〉

Partager

Métriques

Consultations de la notice

131