Formalisation of Bayesian concealment
Keyword(s):
AbstractIn 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.
2017 ◽
Vol 9
(1)
◽
pp. 13
2019 ◽
Vol 7
(6)
◽
pp. 882-887
2011 ◽
Vol 30
(12)
◽
pp. 3334-3336
2013 ◽
Vol 33
(5)
◽
pp. 1391-1393
◽
Keyword(s):
2013 ◽
Vol 52
(6)
◽
pp. 2075-2082
◽
Keyword(s):