Managing Software Uninstall with Negative Trust

Abstract : A problematic aspect of software management systems in view of integrity preservation is the handling, approval, tracking and eventual execution of change requests. In the context of the relation between clients and repositories, trust can help identifying all packages required by the intended installation. Negative trust, in turn, can be used to approach the complementary problem induced by removing packages. In this paper we offer a logic for negative trust which allows to identify admissible and no-longer admissible software packages in the current installation profile in view of uninstall processes. We provide a simple working example and the system is formally verified using the Coq theorem prover.
Document type :
Conference papers
Complete list of metadatas

Cited literature [15 references]  Display  Hide  Download

https://hal.inria.fr/hal-01651164
Contributor : Hal Ifip <>
Submitted on : Tuesday, November 28, 2017 - 5:08:58 PM
Last modification on : Tuesday, November 28, 2017 - 5:10:06 PM

File

 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2020-01-01

Please log in to resquest access to the document

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Giuseppe Primiero, Jaap Boender. Managing Software Uninstall with Negative Trust. 11th IFIP International Conference on Trust Management (TM), Jun 2017, Gothenburg, Sweden. pp.79-93, ⟨10.1007/978-3-319-59171-1_7⟩. ⟨hal-01651164⟩

Share

Metrics

Record views

49