... 表示如果P相信Q有权控制X,且P相信Q也相信X时,则P相信X。 3) 临时值校验规则(Nonce Verification Rule) 表示如果P相信X是新鲜的,并且P相信Q曾发送过X,则P相信Q相信X。 ...
基于1个网页-相关网页
临时值校验规则
Temporary value check rule
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动