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.
Type de document :
Communication dans un congrès
Jianying Zhou; Nurit Gal-Oz; Jie Zhang; Ehud Gudes. 8th IFIP International Conference on Trust Management (IFIPTM), Jul 2014, Singapore, Singapore. Springer, IFIP Advances in Information and Communication Technology, AICT-430, pp.44-60, 2014, Trust Management VIII. 〈10.1007/978-3-662-43813-8_4〉
https://hal.inria.fr/hal-01381678
Contributeur : Hal Ifip
<>
Soumis le : vendredi 14 octobre 2016 - 15:19:18
Dernière modification le : vendredi 14 octobre 2016 - 15:36:03
Tim Muller, Yang Liu, Sjouke Mauw, Jie Zhang. On Robustness of Trust Systems. Jianying Zhou; Nurit Gal-Oz; Jie Zhang; Ehud Gudes. 8th IFIP International Conference on Trust Management (IFIPTM), Jul 2014, Singapore, Singapore. Springer, IFIP Advances in Information and Communication Technology, AICT-430, pp.44-60, 2014, Trust Management VIII. 〈10.1007/978-3-662-43813-8_4〉. 〈hal-01381678〉
