Epistemic Protocols in Gossip Problem and Modeling Secrecy and Ignorance

Please enable javascript in your browser.

Ramezanian, Rahim | 2018

896 Viewed

Type of Document: Ph.D. Dissertation
Language: Farsi
Document No: 52079 (02)
University: Sharif University of Technology
Department: Mathematical Sciences
Advisor(s): Ardeshir, Mohammad
Abstract:
Epistemic algorithms are instructions and rules based on knowledge of agents. These algorithms by individual or group knowledge of agents make decisions about future behavior of systems. Epistemic gossip protocols is one of these algorithms. They are used to for spreading secrets among nodes in a network. According to individual knowledge of each node they decide who calls whom in each step. In security problems epistemic algorithms are used to detect the safety of protocols. Some epistemic notions like ignorance and contingency are used in formalization of security problems. In the thesis we study these epistemic algorithms
Keywords:
Epistemic Logic ; Dynamic Gossip Protocols ; Distributed Contingency