Protocol designers describe the protocol goals using logic language,then iteratively choose synthetic rules to generate sub-goals which constitute a non-repudiation protocol.

• 协议设计者用逻辑语言描述协议目标,由该目标出发,运用合成规则逐步推导出一个含可信第三方的不可否认协议。