Sciweavers

Share
26 search results - page 1 / 6
» An epistemic characterization of zero knowledge
Sort
View
TARK
2009
Springer
11 years 6 months ago
An epistemic characterization of zero knowledge
Halpern, Moses and Tuttle presented a definition of interactive proofs using a notion they called practical knowledge, but left open the question of finding an epistemic formula...
Joseph Y. Halpern, Rafael Pass, Vasumathi Raman
JANCL
2007
107views more  JANCL 2007»
10 years 11 months ago
Distributed knowledge
ABSTRACT. This paper provides a complete characterization of epistemic models in which distributed knowledge complies with the principle of full communication [HOE 99, GER 99]. It ...
Floris Roelofsen
CRYPTO
2005
Springer
72views Cryptology» more  CRYPTO 2005»
11 years 5 months ago
Unconditional Characterizations of Non-interactive Zero-Knowledge
Abstract. Non-interactive zero-knowledge (NIZK) proofs have been investigated in two models: the Public Parameter model and the Secret Parameter model. In the former, a public stri...
Rafael Pass, Abhi Shelat
IJCAI
2003
11 years 1 months ago
Minimal Change and Maximal Coherence for Epistemic Logic Program Updates
We consider the problem of updating nonmonotonic knowledge bases represented by epistemic logic programs where disjunctive information and notions of knowledge and beliefs can be ...
Yan Zhang
ECAI
2010
Springer
11 years 22 days ago
The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time
In the clock semantics for epistemic logic, two situations are indistinguishable for an agent when it makes the same observation and the time in the situations is the same. The pa...
Xiaowei Huang, Ron van der Meyden
books