所有作者:费向东 潘郁
作者单位:南京工业大学管理科学与工程学院
论文摘要:鉴于Li Gong 提出的Fail-Stop协议存在难以实际应用的不足,本文将其性质拓展为Fail-Stop和Fail-Safe两方面。提出Fail-Stop协议的设计方法,即,先设计作为组合模块的极小Fail-Stop协议,然后由极小Fail-Stop协议组合成更复杂的Fail-Stop协议,以协议结构的清晰和可读性作为判定协议质量的标准。用本方法设计了NSPK,Otway-Rees认证协议,在指出一种改进的Woo-Lam认证协议和一种非否认协议错误的基础上,将其改写为Fail-Stop协议。
关键词: 安全协议 模块化设计 Fail-Stop协议 认证协议 非否认协议
免费下载《基于Fail-Stop性质的安全协议模块化设计方法》PDF全文(已停止下载)
本站“论文下载”文章收集整理于“中国科技论文在线”,由于各种原因,本站已暂停论文下载!请前往“中国科技论文在线http://www.paper.edu.cn/”免费下载!
下一篇:视频展示台在多媒体教学当中的应用