查询词典 provable formula

Keywords: distributed cryptography; provable security; composable security; threshold cryptography; secure multiparty computation

中文关键词：分布式密码；可证安全性；组合安全性；门限密码；安全多方计算

They wanted to be able to distil the problem down to a few general, provable rules that avoid exact calculations, and that work every time for any circular pizza.

他们希望能够把这一问题的实质归纳成几条普遍的、可证明的定理，以避免精确的计算，并希望只要是圆形的披萨，这些定理都适用。

So this article makes an inquiry into this issue, and author makes a conclusion that neither joinder of defendants nor injoinder of defendants confession has completely provable value.

故本文就此问题进行探讨，认为无论是同案或是异案审理的共同故意犯罪的被告人的供述均不具有完全的证据价值，不能相互补强据以定案。

Monkeys, apparently, offer one another fleas at times, but not in any provable spirit of kindliness

猴子似乎有时互相帮助捉跳蚤，但是这并不在任何可以证明的善意的范畴内。

Monkeys, apparently, offer one another flea s at times, but not in any provable spirit of kindliness

猴子似乎有时互相帮助捉跳蚤，但是这并不在任何可以证明的善意的范畴内。

The benefit is that one can build up the theory of correctness provable compiler easily.

这样处理的好处是便于构造正确性可证明的编译器设计的理论基础。

I think there will never be a provable answer to this but I'm confident that shopping online is better for the environment.

虽然永远不会有一个有说服力的答案，但我对在线购物有利环境这一点很有信心。

How to treat provable value of accomplices confession is concerned with justice.

如何看待共犯被告人供述的证据价值，是关系到司法公正的重大问题。

Although not statistically provable, it is highly likely that he played a role in at least 11 more goals.

虽然不是在统计数据上显示出来，但是至少有超过11个进球是直接与他有关的。

The protocols are efficient and provable secure and can tolerate the malicious behavior of up to half of the proxies.

该协议是有效的、可证安全的，并且可以容忍至多一半代理的恶意行为。

Pradeep Indulkar, a senior official at the Maharashtra state Home Ministry say 101 human were killed and 287 injured.

马哈拉施特拉邦内政部高级官员Pradeep Indulkar称，有101人在冲突中丧生，287人受伤。

Mark Frei, a senior vice president of West, says 80% of West's homeagents have some college education, compared with 30% of those whowork in office-based call centers.

Frei说，该公司80%在家办公的人员都拥有本科学位，而在公司电话中心工作的人中只有30%拥有本科学位。