%0 Conference Proceedings
%T A Theory of Integrating Tamper Evidence with Stabilization
%+ Michigan State University [East Lansing]
%+ Michigan Technological University (MTU)
%A Hajisheykhi, Reza
%A Ebnenasir, Ali
%A Kulkarni, Sandeep, S.
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 6th Fundamentals of Software Engineering (FSEN)
%C Tehran, Iran
%Y Mehdi Dastani
%Y Marjan Sirjani
%I Springer
%3 Fundamentals of Software Engineering
%V LNCS-9392
%P 84-99
%8 2015-04-22
%D 2015
%R 10.1007/978-3-319-24644-4_6
%K Self-stabilization
%K reactive systems
%K adversary
%K formal methods
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 2
%Z WG 2.2
%2 https://inria.hal.science/hal-01446612/document
%2 https://inria.hal.science/hal-01446612/file/978-3-319-24644-4_6_Chapter.pdf
%L hal-01446612
%U https://inria.hal.science/hal-01446612
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC2
%~ IFIP-WG2-2
%~ IFIP-LNCS-9392
%~ IFIP-FSEN