| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
On Robustness of Trust Systems
Abstract : Trust systems assist in dealing with users who may betray one another. Cunning users (attackers) may attempt to hide the fact that they betray others, deceiving the system. Trust systems that are difficult to deceive are considered more robust. To formally reason about robustness, we formally model the abilities of an attacker. We prove that the attacker model is maximal, i.e. 1) the attacker can perform any feasible attack and 2) if a single attacker cannot perform an attack, then a group of attackers cannot perform that attack. Therefore, we can formulate robustness analogous to security.
Cited literature [25 references]
https://hal.inria.fr/hal-01381678
Contributor : Hal Ifip <>
Submitted on : Friday, October 14, 2016 - 3:19:18 PM
Last modification on : Friday, November 8, 2019 - 3:06:02 PM
Contributor : Hal Ifip <>
Submitted on : Friday, October 14, 2016 - 3:19:18 PM
Last modification on : Friday, November 8, 2019 - 3:06:02 PM
File
978-3-662-43813-8_4_Chapter.pd...
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution 4.0 International License