Habib, Sheikh Mahbub ; Varadharajan, Vijay ; Ries, Sebastian ; Mühlhäuser, Max (2011)
CertainLogic: A Logic for Modeling Trust and Uncertainty (Full version).
Report
Abstract
The evaluation of the trustworthiness of complex systems is one of the major challenges in current IT research. We contribute to this field by providing a novel model for the evaluation of propositional logic terms under uncertainty that is compliant with the standard probabilistic approach and subjective logic. Furthermore, we present a use case to demonstrate how this approach can be applied to the evaluation of the trustworthiness of a system based on the knowledge about its components and subsystems.
Item Type: | Report |
---|---|
Erschienen: | 2011 |
Creators: | Habib, Sheikh Mahbub ; Varadharajan, Vijay ; Ries, Sebastian ; Mühlhäuser, Max |
Type of entry: | Bibliographie |
Title: | CertainLogic: A Logic for Modeling Trust and Uncertainty (Full version) |
Language: | English |
Date: | 6 April 2011 |
Series: | Technical Report |
Collation: | 27 pages |
Corresponding Links: | |
Abstract: | The evaluation of the trustworthiness of complex systems is one of the major challenges in current IT research. We contribute to this field by providing a novel model for the evaluation of propositional logic terms under uncertainty that is compliant with the standard probabilistic approach and subjective logic. Furthermore, we present a use case to demonstrate how this approach can be applied to the evaluation of the trustworthiness of a system based on the knowledge about its components and subsystems. |
Uncontrolled Keywords: | - SST - Area Smart Security and Trust;- SST: CASED:;Secure Services;Security |
Divisions: | 20 Department of Computer Science 20 Department of Computer Science > System Security Lab 20 Department of Computer Science > Telecooperation LOEWE LOEWE > LOEWE-Zentren LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt |
Date Deposited: | 31 Dec 2016 12:59 |
Last Modified: | 18 Oct 2021 10:16 |
PPN: | |
Corresponding Links: | |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
![]() |
Send an inquiry |
Options (only for editors)
![]() |
Show editorial Details |