A Theory of Integrating Tamper Evidence with Stabilization

Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni. A Theory of Integrating Tamper Evidence with Stabilization. In Mehdi Dastani, Marjan Sirjani, editors, Fundamentals of Software Engineering - 6th International Conference, FSEN 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers. Volume 9392 of Lecture Notes in Computer Science, pages 84-99, Springer, 2015. [doi]

Abstract

Abstract is missing.