TU Darmstadt / ULB / TUbiblio

CertainLogic: A Logic for Modeling Trust and Uncertainty (Full version)

Habib, Sheikh Mahbub ; Varadharajan, Vijay ; Ries, Sebastian ; Mühlhäuser, Max (2011):
CertainLogic: A Logic for Modeling Trust and Uncertainty (Full version).
In: Technical Report, TUD-CS-2011-0104, [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
Title: CertainLogic: A Logic for Modeling Trust and Uncertainty (Full version)
Language: English
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.

Series Name: Technical Report
Report-Id: TUD-CS-2011-0104
Collation: 27 pages
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
Corresponding Links:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details