科技信息

2009, (35) 896-897

[打印本页] [关闭]
本期目录(Current Issue) | 过刊浏览(Past Issue) | 高级检索(Advanced Search)

基于推理结构性的Aydos协议分析
Of Aydos' Protocol Based on SVO Logic

赵燕丽;刘欣荣;

摘要(Abstract):

对于分布式网路中的通信协议,是否实现了设计的安全目标是判断其设计成功的关键,利用推理结构性方法可以从理论上证明协议的安全性。利用SVO逻辑对典型协议的分析,发现了协议存在的安全缺陷,并提出相应的改进措施。

关键词(KeyWords): 通信协议;推理结构性方法;安全分析

Abstract:

Keywords:

基金项目(Foundation):

作者(Author): 赵燕丽;刘欣荣;

Email:

DOI:

扩展功能
本文信息
服务与反馈
本文关键词相关文章
本文作者相关文章
中国知网
分享