Sökning: "BAN logic"

Hittade 2 avhandlingar innehållade orden BAN logic.

  1. 1. Logics of Knowledge and Cryptography : Completeness and Expressiveness

    Författare :Mika Cohen; Mads Dam; Alessio Lomuscio; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; epistemic logic; first-order logic; formal cryptography; static equivalence; security protocols; BAN logic; multi-agent system; completeness; logical omniscience problem; Computer science; Datavetenskap;

    Sammanfattning : An understanding of cryptographic protocols requires that we examine the knowledge of protocol participants and adversaries: When a participant receives a message, does she know who sent it? Does she know that the message is fresh, and not merely a replay of some old message? Does a network spy know who is talking to whom? This thesis studies logics of knowledge and cryptography. Specifically, the thesis addresses the problem of how to make the concept of knowledge reflect feasible computability within a Kripke-style semantics. LÄS MER

  3. 2. Studies On Design of Near-Field Wireless-Powered Biphase Implantable Stimulators

    Författare :Yonatan Habteslassie Kifle; Jacob Wikner; Atila Alvandpour; Sebastian Bader; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : Portable and implantable electronics are becoming increasingly important in the healthcare sector. One of the challenges is to guarantee stable systems for longer periods of time. If we consider applications such as electrical nerve stimulation or implanted ion pumps, the requirements for, e.g. LÄS MER