| Authors: | Lehnherr, David Ognjanović, Zoran Studer, Thomas |
Affiliations: | Mathematics Mathematical Institute of the Serbian Academy of Sciences and Arts |
Title: | A Logic of Interactive Proofs | Journal: | Logical Foundations of Computer Science | Series/Report no.: | Lecture Notes in Computer Science | Volume: | 13137 | First page: | 143 | Last page: | 155 | Conference: | International Symposium on Logical Foundations of Computer Science, LFCS 2022 | Issue Date: | 2022 | Rank: | M33 | DOI: | 10.1007/978-3-030-93100-1_10 | Abstract: | We introduce the probabilistic two-agent justification logic IPJ, a logic in which we can reason about agents that perform interactive proofs. In order to study the growth rate of the probabilities in IPJ, we present a new method of parametrizing IPJ over certain negligible functions. Further, our approach leads to a new notion of zero-knowledge proofs. |
Keywords: | Interactive proof system | Zero-knowledge proof | Epistemic logic | Justification logic | Probabilistic logic | Publisher: | Springer Link |
Show full item record
SCOPUSTM
Citations
1
checked on Dec 20, 2024
Page view(s)
28
checked on Dec 21, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.