Sökning: "Håkan Kvarnström"

Hittade 4 avhandlingar innehållade orden Håkan Kvarnström.

  1. 1. On the Implementation and Protection of Fraud Detection Systems

    Författare :Håkan Kvarnström; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Society of today is becoming increasingly dependent on the availability and correctness of IT-systems. There are a growing number of industries that base their business almost exclusively on creating growth and economic value using IT-systems. LÄS MER

  3. 2. Computer-Assisted Troubleshooting for Efficient Off-board Diagnosis

    Författare :Håkan Warnquist; Patrick Doherty; Jonas Kvarnström; Mattias Nyberg; Erik Frisk; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Automated planning; diagnosis; automotive industry; troubleshooting; Bayesian networks; Computer science; Datavetenskap;

    Sammanfattning : This licentiate thesis considers computer-assisted troubleshooting of complex products such as heavy trucks. The troubleshooting task is to find and repair all faulty components in a malfunctioning system. LÄS MER

  4. 3. Troubleshooting Trucks : Automated Planning and Diagnosis

    Författare :Håkan Warnquist; Patrick Doherty; Jonas Kvarnström; Louise Travé-Massuyès; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automated planning; diagnosis; troubleshooting; automotive systems; Bayesian networks; Markov decision-processes;

    Sammanfattning : This thesis considers computer-assisted troubleshooting of heavy vehicles such as trucks and buses. In this setting, the person that is troubleshooting a vehicle problem is assisted by a computer that is capable of listing possible faults that can explain the problem and gives recommendations of which actions to take in order to solve the problem such that the expected cost of restoring the vehicle is low. LÄS MER

  5. 4. Understanding Certificate Revocation

    Författare :Åsa Hagström; Robert Forchheimer; Ingemar Ingemarsson; Håkan Kvarnström; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Revocation; Public-key certificates; Graph transformation; Information science; Informationslära;

    Sammanfattning : Correct certificate revocation practices are essential to each public-key infrastructure. While there exist a number of protocols to achieve revocation in PKI systems, there has been very little work on the theory behind it: Which different types of revocation can be identified? What is the intended effect of a specific revocation type to the knowledge base of each entity?As a first step towards a methodology for the development of reliable models, we present a graph-based formalism for specification and reasoning about the distribution and revocation of public keys and certificates. LÄS MER