A Distributed WCET Computation Scheme for Smart Card Operating SystemsReportar como inadecuado




A Distributed WCET Computation Scheme for Smart Card Operating Systems - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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 VERIMAG - IMAG - VERIMAG 3 SARDES - System architecture for reflective distributed computing environments Inria Grenoble - Rhône-Alpes, CNRS - Centre National de la Recherche Scientifique : FR71 4 LIFL - Laboratoire d-Informatique Fondamentale de Lille

Abstract : Computing WCET in a resource-constrained device such as a smart card in a safe manner raises some difficulties. In- deed, most of the classical algorithms for computing WCET do not address resource-limitation or security issues. In this article, we propose to distribute the computation process between the off-card part running on a powerful workstation and the on-card part specific to the hardware included in the smart card. We also guarantee the safety of our com- putation process by inserting assertions in the generated code and preventing information leaks from the card to the outside.





Autor: Nadia Bel Hadj Aissa - Christophe Rippert - Damien Deville - Gilles Grimaud -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados