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, Bibliographie

Kurzbeschreibung (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.

Typ des Eintrags: Report
Erschienen: 2011
Autor(en): Habib, Sheikh Mahbub ; Varadharajan, Vijay ; Ries, Sebastian ; Mühlhäuser, Max
Art des Eintrags: Bibliographie
Titel: CertainLogic: A Logic for Modeling Trust and Uncertainty (Full version)
Sprache: Englisch
Publikationsjahr: 6 April 2011
Reihe: Technical Report
Kollation: 27 pages
Zugehörige Links:
Kurzbeschreibung (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.

Freie Schlagworte: - SST - Area Smart Security and Trust;- SST: CASED:;Secure Services;Security
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Systemsicherheit
20 Fachbereich Informatik > Telekooperation
LOEWE
LOEWE > LOEWE-Zentren
LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
Hinterlegungsdatum: 31 Dez 2016 12:59
Letzte Änderung: 18 Okt 2021 10:16
PPN:
Zugehörige Links:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen