Formalisation of Bayesian concealment

Formalisation of Bayesian concealment

In order to assure the concealment by cryptographic protocols, it is an effective measure to prove the concealment in a formal logical system. In the contemporary context of cryptographic protocol, the concealment has to be proved by using probability theory. There are several concepts of concealmen...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Japan journal of industrial and applied mathematics 2021-06, Vol.38 (2), p.677-692
1. Verfasser: Takeuti, Izumi
Format: Artikel
Sprache:eng
Schlagworte:
Applications of Mathematics
Bayesian analysis
Computational Mathematics and Numerical Analysis
Cryptography
Mathematics
Mathematics and Statistics
Mathematics, Applied
Original Paper
Physical Sciences
Probability theory
Science & Technology
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:In order to assure the concealment by cryptographic protocols, it is an effective measure to prove the concealment in a formal logical system. In the contemporary context of cryptographic protocol, the concealment has to be proved by using probability theory. There are several concepts of concealment in probability theory. One of them is Bayesian concealment. This study proposes a formal logical system to prove the Bayesian concealment of a secret sharing scheme.
ISSN:0916-7005
1868-937X
DOI:10.1007/s13160-021-00458-y