As an example, a non-repudiation protocol with offline TTP was verified.The protocol has accountability during one protocol run and gets the attack in the repeated runs.

• 文中以一种基于离线TTP方式的非否认协议为例，验证了该协议在运行一次时具有可追究性，但多次运行时存在攻击。