A Theory of Integrating Tamper Evidence with Stabilization - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2015

A Theory of Integrating Tamper Evidence with Stabilization

Reza Hajisheykhi
  • Fonction : Auteur
  • PersonId : 999435
Ali Ebnenasir
  • Fonction : Auteur
  • PersonId : 999411

Résumé

We propose the notion of tamper-evident stabilization –that combines stabilization with the concept of tamper evidence– for computing systems. On the first glance, these notions are contradictory; stabilization requires that eventually the system functionality is fully restored whereas tamper evidence requires that the system functionality is permanently degraded in the event of tampering. Tamper-evident stabilization captures the intuition that the system will tolerate perturbation upto a limit. In the event that it is perturbed beyond that limit, it will exhibit permanent evidence of tampering, where it may provide reduced (possibly none) functionality. We compare tamper-evident stabilization with (conventional) stabilization and with active stabilization and propose an approach to verify tamper-evident stabilizing programs in polynomial time. We demonstrate tamper-evident stabilization with two examples and argue how approaches for designing stabilization can be used to design tamper-evident stabilization. We also study issues of composition in tamper-evident stabilization. Finally, we point out how tamper-evident stabilization can effectively be used to provide tradeoff between fault-prevention and fault tolerance.
Fichier principal
Vignette du fichier
978-3-319-24644-4_6_Chapter.pdf (150.13 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01446612 , version 1 (26-01-2017)

Licence

Identifiants

Citer

Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni. A Theory of Integrating Tamper Evidence with Stabilization. 6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.84-99, ⟨10.1007/978-3-319-24644-4_6⟩. ⟨hal-01446612⟩
68 Consultations
130 Téléchargements

Altmetric

Partager

More