解放军理工大学学报（自然科学版）
解放軍理工大學學報（自然科學版）
해방군리공대학학보（자연과학판）
JOURNAL OF PLA UNIVERSITY OF SCIENCE AND TECHNOLOGY(NATURAL SCIENCE EDITION)
2009年
5期
423-429
,共7页
移动自组织网络%安全路由协议%形式化分析%攻击
移動自組織網絡%安全路由協議%形式化分析%攻擊
이동자조직망락%안전로유협의%형식화분석%공격
目前安全 DSR协议由于缺乏有效的形式化分析方法,难以发现一些隐蔽的安全漏洞.针对这一问题,通过分析DSR协议路由过程,给出了安全DSR协议的安全目标.提出了一种基于逻辑的安全DSR协议形式化分析方法,定义了能够反映安全DSR协议特性的基本逻辑构件(包括主体、目标和公式)和推理规则.首先用逻辑公式描述协议初始假设及过程,然后用推理规则进行推导产生推导结果,最后依据推导结果判断协议安全性.使用这种方法对SADSR协议进行了形式化分析与改进,发现了SADSR协议存在的安全漏洞.分析结果表明,提出的方法能够用于安全DSR协议形式化分析,能够发现一些较为隐蔽的安全缺陷.
目前安全 DSR協議由于缺乏有效的形式化分析方法,難以髮現一些隱蔽的安全漏洞.針對這一問題,通過分析DSR協議路由過程,給齣瞭安全DSR協議的安全目標.提齣瞭一種基于邏輯的安全DSR協議形式化分析方法,定義瞭能夠反映安全DSR協議特性的基本邏輯構件(包括主體、目標和公式)和推理規則.首先用邏輯公式描述協議初始假設及過程,然後用推理規則進行推導產生推導結果,最後依據推導結果判斷協議安全性.使用這種方法對SADSR協議進行瞭形式化分析與改進,髮現瞭SADSR協議存在的安全漏洞.分析結果錶明,提齣的方法能夠用于安全DSR協議形式化分析,能夠髮現一些較為隱蔽的安全缺陷.
목전안전 DSR협의유우결핍유효적형식화분석방법,난이발현일사은폐적안전루동.침대저일문제,통과분석DSR협의로유과정,급출료안전DSR협의적안전목표.제출료일충기우라집적안전DSR협의형식화분석방법,정의료능구반영안전DSR협의특성적기본라집구건(포괄주체、목표화공식)화추리규칙.수선용라집공식묘술협의초시가설급과정,연후용추리규칙진행추도산생추도결과,최후의거추도결과판단협의안전성.사용저충방법대SADSR협의진행료형식화분석여개진,발현료SADSR협의존재적안전루동.분석결과표명,제출적방법능구용우안전DSR협의형식화분석,능구발현일사교위은폐적안전결함.
