A Distributed WCET Computation Scheme for Smart Card Operating SystemsReport as inadecuate




A Distributed WCET Computation Scheme for Smart Card Operating Systems - Download this document for free, or read online. Document in PDF available to download.

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.





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

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



DOWNLOAD PDF




Related documents