|
1. |
Secure extensible type system for efficient embedded operating system by using metatypes
Grimaud, G.; Hodique, Y.; Simplot-Ryl, I.;
Parallel and Distributed Systems, 2005. Proceedings. 11th International Conference on
Volume 2,
20-22 July 2005
Page(s):83
-
87 Vol. 2
Abstract:
In the context of extensible system for small secure embedded devices, we present an extensible type system for typed intermediate languages that unifies in a unique hierarchy type systems from various source high level languages and ensures integrity and confidentiality. To increase execution 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.
|
Cart
