004 Datenverarbeitung; Informatik
Refine
Year of publication
- 2008 (2) (remove)
Document Type
- Doctoral Thesis (2) (remove)
Keywords
- Abduktion <Logik> (1)
- Bayes-Netz (1)
- Bayesian Networks (1)
- Computer Security (1)
- Computersicherheit (1)
- Diagnose (1)
- Diagnosis (1)
- Fault Trees (1)
- Fehlerbaum (1)
- Formal Methods (1)
Institute
This dissertation introduces a methodology for formal specification and verification of user interfaces under security aspects. The methodology allows to use formal methods pervasively in the specification and verification of human-computer interaction. This work consists of three parts. In the first part, a formal methodology for the description of human-computer interaction is developed. In the second part, existing definitions of computer security are adapted for human-computer interaction and formalized. A generic formal model of human-computer interaction is developed. In the third part, the methodology is applied to the specification and verification of a secure email client.
Probability propagation nets
(2008)
This work introduces a Petri net representation for the propagation of probabilities and likelihoods, which can be applied to probabilistic Horn abduction, fault trees, and Bayesian networks. These so-called "probability propagation nets" increase the transparency of propagation processes by integrating structural and dynamical aspects into one homogeneous representation. It is shown by means of popular examples that probability propagation nets improve the understanding of propagation processes - especially with respect to the Bayesian propagation algorithms - and thus are well suited for the analysis and diagnosis of probabilistic models. Representing fault trees with probability propagation nets transfers these possibilities to the modeling of technical systems.