Posted on

New Paper in Minds & Machines

G. Primiero, A Minimalist Epistemology for Agent‑Based Simulations in the Artificial Sciences, Minds & Machines. (2019).
https://doi.org/10.1007/s11023-019-09489-4

Link:  http://em.rdcu.be/

Posted on

New Paper in Philosophy & Technology

Primiero, G., Solheim, F.J. & Spring, J.M., On Malfunction, Mechanisms and Malware Classification, Philosophy & Technology. (2018). https://doi.org/10.1007/s13347-018-0334-2

Preprint available at
https://www.researchgate.net/publication/328896074_On_Malfunction_Mechanisms_and_Malware_Classification

 

Posted on

New Paper in Journal of Web Intelligence

Negative trust for conflict resolution in software management

Authors: Primiero, Giuseppea; * | Boender, Jaapb

Affiliations: [a] Department of Philosophy, University of Milan, Via Festa del Perdono 7, 20122, Milan, Italy. E-mail: giuseppe.primiero@unimi.it | [b] Department of Computer Science, Middlesex University, the Burroughs, NW4 4BT, London, United Kingdom. E-mail: J.Boender@mdx.ac.uk

Correspondence: [*] Corresponding author. E-mail: giuseppe.primiero@unimi.it.

Abstract: Software management systems need to preserve integrity by the handling, approval, tracking and execution of changes on the packages of the current installation profile. This is a problematic task, which needs to be accounted for both in terms of installation of new packages and removal of conflicting ones. While existing approaches are able to identify dependency satisfaction and conflicts, a broader and efficient approach can be formalised in terms of trust. Positive instances of trust are required by the identification of safely installable packages. Negative trust, a much less explored concept, can be useful to analyse the complementary issue of packages’ removal both in case of conflicts and of security issues. In this paper we develop a logic of negative trust with two aims: identifying packages that are undesirable in view of the current installation profile; and currently installed packages that become inconsistent with a new intended installation. The logic provides distinct procedures for the identification of either case. We illustrate properties of the calculus, provide a simple working example and offer a translation of the protocol to the Coq proof assistant for verification of its formal correctness.

Keywords: Trust, negative trust, software management, software installation system, uninstall problem

DOI: 10.3233/WEB-180393

Journal: Web Intelligence, vol. 16, no. 4, pp. 251-271, 2018

Published: 31 October 2018

https://content.iospress.com/articles/web-intelligence/web393

Posted on

Paper at ANTS2018

Paper presented at ANTS 2018 – Eleventh International Conference on Swarm Intelligence, October 29-31, 2018. Rome, Italy

Swarm Attack: A Self-organized Model to Recover from Malicious Communication Manipulation in a Swarm of Simple Simulated Agents
Giuseppe Primiero, Elio Tuci, Jacopo Tagliabue, and Eliseo Ferrante