Vis enkel innførsel

dc.contributor.authorHagland, Tor
dc.date.accessioned2019-06-13T08:01:22Z
dc.date.available2019-06-13T08:01:22Z
dc.date.issued2018-12-18
dc.date.submitted2018-12-17T23:00:07Z
dc.identifier.urihttp://hdl.handle.net/1956/19997
dc.description.abstractWhen 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.isoengeng
dc.publisherThe University of Bergeneng
dc.subjectepistemic logiceng
dc.subjectcard gameeng
dc.subjectmodel checkingeng
dc.subjectsecure protocolseng
dc.subjectcommunicationeng
dc.titleCrossing Hands in the Russian Cards Problemeng
dc.typeMaster thesisen_US
dc.date.updated2018-12-17T23:00:07Z
dc.rights.holderCopyright the author. All rights reserved.en_US
dc.description.degreeMasteroppgave i informasjonsvitenskap
dc.description.localcodeINFO390
dc.subject.nus735115eng
fs.subjectcodeINFO390
fs.unitcode15-17-0


Tilhørende fil(er)

Thumbnail

Denne innførselen finnes i følgende samling(er)

Vis enkel innførsel