Remotely assessing integrity of software applications by monitoring invariants: Present limitations and future directions

Viticchié, Alessio; Basile, Cataldo; Lioy, Antonio

doi:10.1007/978-3-319-76687-4_5

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.

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.

Titolo:	Remotely assessing integrity of software applications by monitoring invariants: Present limitations and future directions
Autori:	VITICCHIE', ALESSIO BASILE, CATALDO LIOY, ANTONIO
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:

Non ci sono file associati a questo prodotto.

Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11583/2706033

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.