Posts Tagged ‘RC’
09
Jul
Authors: Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden and Ji Ruan Abstract: We implement a specific protocol for bit exchange among card-playing agents in three different state-of-the-art epistemic model checkers and compare the results. Keywords: Cryptography, unconditional security, model checking, information-based protocols, epistemic logic. Download: this paper in pdf. BibTex: [...]
Filed under:Papers Tags：Cryptography , Hans , jpapers , model checking , protocol , RC , Ron , security , Wiebe.
