Trust management formal techniques and systems - Archive ouverte HAL Access content directly
Reports Year : 2004

Trust management formal techniques and systems

Guillaume Piolle


The aim of this study is to provide an overview of the different ways to introduce trust management mechanisms in logic-based computing systems (especially multi-agent systems), in order to deal with security problems. This study includes a survey of recent publications in this research area, as well as a critical comparison between them. We try here to put a stress on their common aspects, their differences, the kind of logic paradigm they are based on, and the kind of issues they are likely to address well.
No file

Dates and versions

hal-01172621 , version 1 (07-07-2015)


  • HAL Id : hal-01172621 , version 1


Guillaume Piolle. Trust management formal techniques and systems. [University works] Imperial College London, Department of Computing. 2004. ⟨hal-01172621⟩


13 View
0 Download


Gmail Facebook Twitter LinkedIn More