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.

中文翻译：

---

贝叶斯隐藏的形式化

为了确保通过密码协议进行隐藏，这是在形式逻辑系统中证明隐藏的有效措施。在当代的密码协议环境中，必须通过使用概率论来证明隐藏。概率论中有几个隐藏的概念。贝叶斯隐藏就是其中之一。这项研究提出了一个正式的逻辑系统来证明秘密共享方案的贝叶斯隐藏。