...形有类似的推理规则，表示如下： | | , | |~ K K P Q P X P Q X 2) 临时值验证规则(nonce-verification rule) | #( ), | |~ | | P X P Q X P Q X 其含义是，如果P 相信消息X 是新的，且P 相 信Q 曾发送过X，则P 相信Q 相信X。
基于12个网页-相关网页
临时值验证规则
Temporary value validation rule
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动