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).
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 Send an inquiry

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