PORTO @ 
Archivio Istituzionale della Ricerca
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishInvariants 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.
Remotely assessing integrity of software applications by monitoring invariants: Present limitations and future directions / Viticchié, Alessio; Basile, Cataldo; Lioy, Antonio. - STAMPA. - (2017), pp. 66-82. ((Intervento presentato al convegno CRiSIS-2017: 12th Int. Conf. on Risks and Security of Internet and Systems tenutosi a Dinard (France) nel September 19-21, 2017.
| Titolo: | Remotely assessing integrity of software applications by monitoring invariants: Present limitations and future directions |
| Autori: | |
| Data di pubblicazione: | 2017 |
| Abstract: | 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. |
| ISBN: | 978-3-319-76686-7 |
| Appare nelle tipologie: | 4.1 Contributo in Atti di convegno |
File in questo prodotto:
http://hdl.handle.net/11583/2706033
Copyright © 2021