dc.contributor.author | Hagland, Tor | |
dc.date.accessioned | 2019-06-13T08:01:22Z | |
dc.date.available | 2019-06-13T08:01:22Z | |
dc.date.issued | 2018-12-18 | |
dc.date.submitted | 2018-12-17T23:00:07Z | |
dc.identifier.uri | http://hdl.handle.net/1956/19997 | |
dc.description.abstract | When communicating using an unconditionally secure protocol, a sender and receiver is able to transmit secret information over a public, insecure channel without fear of the secret being intercepted by a third party. The Russian cards problem is an example of an unconditionally secure protocol where the communication is fully understandable for everyone listening in. Even though everyone can understand what is being said, only the sender and receiver are able to uncover the secrets being transmitted. In this thesis we investigate the interaction among the communicating parties. By extending existing problem-specific software we are able to more efficiently analyze protocols, and we are therefore able to provide an answer to an open problem in the literature. We provide a completely new solution to the Russian cards protocol and show that it fulfills all requirements by the problem. Discovering this new solution provides the person initiating the protocol two new strategies to choose from when constructing the initial announcement of the protocol. | en_US |
dc.language.iso | eng | eng |
dc.publisher | The University of Bergen | eng |
dc.subject | epistemic logic | eng |
dc.subject | card game | eng |
dc.subject | model checking | eng |
dc.subject | secure protocols | eng |
dc.subject | communication | eng |
dc.title | Crossing Hands in the Russian Cards Problem | eng |
dc.type | Master thesis | en_US |
dc.date.updated | 2018-12-17T23:00:07Z | |
dc.rights.holder | Copyright the author. All rights reserved. | en_US |
dc.description.degree | Masteroppgave i informasjonsvitenskap | |
dc.description.localcode | INFO390 | |
dc.subject.nus | 735115 | eng |
fs.subjectcode | INFO390 | |
fs.unitcode | 15-17-0 | |