提出一种适用于不可否认协议分析的增广CSP(communicating sequential processes)方法。检验有效性时使用它分析了Zhou等人于1996......