zuck 中文意思是什麼
zuck
解釋
楚克-
3 halpern j, zuck l. a little knowledge goes a long way : simple knowledge based derivations and correctness proofs for a family of protocols. journal of the acm, 1992, 39 : 449 - 478
並且他們只是用認識邏輯描述協議的規范，但沒有給出相應的演算法，即給出一個具體的協議，如何自動生成公理集並自動驗證他滿足一些認知規范
分享友人