在介绍协议之前，首先介绍该协议用到的特殊符号。

•rAB：请求发起本次非否认协议的标志，如序列号；

•r1：EOO标志；

•r2：EOR标志；

•i1：A拥有KAB的标志；

•i2：B拥有KAB且A发送M的标志；

•i3：B收到M的标志；

•SENVA（）：主体A的安全封装。SENV表示数据项的一种具有特殊构造的集合，使接收方可以验证其来源与完整性。

这里需要强调的是，标志rAB、r1和r2是通常意义下的标志。标志i1、i2和i3用来表示消息的发送者相信该标志所指明的事实，只有可信第三方TTP才能在他发送的消息中使用这些特殊的标志i1、i2和i3。因此，主体A收到TTP发送的i1标志时，他也相信i1指明的事实。

下述非否认协议由6步构成。

(1)A→TTP:rAB,NA

A向TTP请求发起非否认协议。(www.daowen.com)

(2)TTP→A:SENVA(i1,NA,NTTP,KAB)

TTP通过安全封装向A发送会话密钥KAB。

(3)A→B:{M}KAB,EOO=SENVA(r1,NTTP,{M}KAB)

A向B发送EOO及{M}KAB。如果B由于某种原因不同意接收消息M，他可以在此终止协议的运行，不会引起任何争议。

(4)B→TTP:EOO,EOR=SENVB(r2,NB,{M}KAB)

如果B在第（3）步后同意继续执行协议，就将收到的EOO转发给TTP，并向TTP发送EOR。

(5)TTP→B:SENVB(i2,NB,KAB)

如果TTP证实EOO与EOR的正确性，就通过安全封装协议向B发送KAB，并通知B：TTP相信A在协议的本次运行中发送了消息M。否则，TTP终止协议的执行，不会引起协议的任何争议。

(6)TTP→A:SENVA(i3,NA)

如果TTP证实EOO与EOR的正确性，就通知A：TTP相信B收到了消息M。否则，TTP终止协议的执行，不会引起任何争议。

上述非否认协议执行结束时，主体A通过可信第三方TTP发送的新鲜的会话密钥KAB，成功地发送{M}KAB给主体B。B解密{M}KAB之后，成功地收到消息M。并且，A不能否认他发送过消息M；B也不能否认收到过消息M。协议执行结束后如果发生争议，可以通过TTP或裁判ADJ进行公平的仲裁。TTP和ADJ既可以是两个不同的角色，也可以是同一个角色，根据具体的应用环境决定。