论文研究-基于Fail-Stop性质的安全协议模块化设计方法 .pdf

基于Fail-Stop性质的安全协议模块化设计方法，费向东 ，潘郁，鉴于Li Gong 提出的Fail-Stop协议存在难以实际应用的不足，本文将其性质拓展为Fail-Stop和Fail-Safe两方面。提出Fail-Stop协议的设计方法，即，�