Invariants monitoring is a software attestation technique that aims at proving the integrity of a running application by checking likely invariants, which are predicates built on variables’ values. Being very promising in literature, we developed a software protection that remotely checks invariants. However, we faced a series of issues and limitations. This paper, after presenting an extensive background on invariants and their use, reports, analyses, and categorizes the identified limitations. Our work suggests that, even if it is still promising, further studies are needed to decree if invariants monitoring could be practically used as a remote protection of software applications.
CITATION STYLE
Viticchié, A., Basile, C., & Lioy, A. (2018). Remotely assessing integrity of software applications by monitoring invariants: Present limitations and future directions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10694 LNCS, pp. 66–82). Springer Verlag. https://doi.org/10.1007/978-3-319-76687-4_5
Mendeley helps you to discover research relevant for your work.