Furthermore, the new method can verify not only the non-repudiation of protocol in static state, but also atomicity in dynamic.

• 新方法不仅可以静态验证协议的不可否认性，而且可以动态验证协议的原子性。