科技信息
科技信息
과기신식
SCIENTIFIC & TECHNICAL INFORMATION
2009年
35期
896-897
,共2页
通信协议%推理结构性方法%安全分析
通信協議%推理結構性方法%安全分析
통신협의%추리결구성방법%안전분석
对于分布式网路中的通信协议,是否实现了设计的安全目标是判断其设计成功的关键,利用推理结构性方法可以从理论上证明协议的安全性.利用SVO逻辑对典型协议的分析,发现了协议存在的安全缺陷,并提出相应的改进措施.
對于分佈式網路中的通信協議,是否實現瞭設計的安全目標是判斷其設計成功的關鍵,利用推理結構性方法可以從理論上證明協議的安全性.利用SVO邏輯對典型協議的分析,髮現瞭協議存在的安全缺陷,併提齣相應的改進措施.
대우분포식망로중적통신협의,시부실현료설계적안전목표시판단기설계성공적관건,이용추리결구성방법가이종이론상증명협의적안전성.이용SVO라집대전형협의적분석,발현료협의존재적안전결함,병제출상응적개진조시.