Managing software uninstall with negative trust
Primiero, Giuseppe and Boender, Jaap (2017) Managing software uninstall with negative trust. Trust Management XI: 11th IFIP WG 11.11 International Conference, IFIPTM 2017, Gothenburg, Sweden, June 12-16, 2017, Proceedings. In: 11th IFIP WG 11.11 International Conference, IFIPTM 2017, 12-16 Jun 2017, Gothenburg, Sweden. ISBN 9783319591704. ISSN 1868-4238 [Conference or Workshop Item] (doi:10.1007/978-3-319-59171-1_7)
|
PDF
- Final accepted version (with author's formatting)
Download (328kB) | Preview |
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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | Paper published as:
Primiero G., Boender J. (2017) Managing Software Uninstall with Negative Trust. In: Steghöfer JP., Esfandiari B. (eds) Trust Management XI. IFIPTM 2017. IFIP Advances in Information and Communication Technology, vol 505. Springer, Cham |
| Research Areas: | A. > School of Science and Technology > Computer Science > Foundations of Computing group |
| Item ID: | 21957 |
| Notes on copyright: | The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-59171-1_7 |
| Useful Links: | |
| Depositing User: | Giuseppe Primiero |
| Date Deposited: | 09 Jun 2017 11:40 |
| Last Modified: | 29 Nov 2022 20:51 |
| URI: | https://eprints.mdx.ac.uk/id/eprint/21957 |
Actions (login required)
 |
View Item |
Statistics
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)