Sökning: "Mika Cohen"
Hittade 1 avhandling innehållade orden Mika Cohen.
1. Logics of Knowledge and Cryptography : Completeness and Expressiveness
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
Resultatsidor:
1