A Theory of Integrating Tamper Evidence with Stabilization

Abstract : 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.
Type de document :
Communication dans un congrès
Mehdi Dastani; Marjan Sirjani. 6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. Springer, Lecture Notes in Computer Science, LNCS-9392, pp.84-99, 2015, Fundamentals of Software Engineering. 〈10.1007/978-3-319-24644-4_6〉
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01446612
Contributeur : Hal Ifip <>
Soumis le : jeudi 26 janvier 2017 - 10:43:56
Dernière modification le : jeudi 26 janvier 2017 - 10:57:18
Document(s) archivé(s) le : vendredi 28 avril 2017 - 07:17:35

Fichier

978-3-319-24644-4_6_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Reza Hajisheykhi, Ali Ebnenasir, Sandeep Kulkarni. A Theory of Integrating Tamper Evidence with Stabilization. Mehdi Dastani; Marjan Sirjani. 6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. Springer, Lecture Notes in Computer Science, LNCS-9392, pp.84-99, 2015, Fundamentals of Software Engineering. 〈10.1007/978-3-319-24644-4_6〉. 〈hal-01446612〉

Partager

Métriques

Consultations de la notice

36

Téléchargements de fichiers

5