Epistemic Protocols in Gossip Problem and Modeling Secrecy and Ignorance

Ramezanian, Rahim | 2018

762 Viewed
  1. Type of Document: Ph.D. Dissertation
  2. Language: Farsi
  3. Document No: 52079 (02)
  4. University: Sharif University of Technology
  5. Department: Mathematical Sciences
  6. Advisor(s): Ardeshir, Mohammad
  7. Abstract:
  8. 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
  9. Keywords:
  10. Epistemic Logic ; Dynamic Gossip Protocols ; Distributed Contingency

 Digital Object List


...see more