通常考虑两种类型的定义来表示安全性协议保留数据的机密性。基于可达性的保密性意味着当基于等价的保密状态时，不应披露s带有s的不同实例的协议的两次执行应该是攻击者无法区分的。虽然第二种配方可以确保更高级别的安全性，更接近保密的加密概念，可判定性结果和自动工具主要关注第一个到目前为止的定义。本文对以下情况进行了系统调查：句法保密性要求高度保密。我们表明，在被动情况下，基于可达性的保密实际上意味着基于等价性的保密数字签名、对称和非对称加密提供了基元是概率的。对于活跃的对手，我们提供足够的协议上的（相当严格的）条件可以保持这种含义。