信息安全与通信保密
信息安全與通信保密
신식안전여통신보밀
CHINA INFORMATION SECURITY
2013年
4期
102-105
,共4页
无线传感器网络%安全通信%缺陷检测%安全目标%形式化方法
無線傳感器網絡%安全通信%缺陷檢測%安全目標%形式化方法
무선전감기망락%안전통신%결함검측%안전목표%형식화방법
为了解决无线传感器网络在军事、商业等领域上的安全和隐私问题,文中分析了传感器节点通信过程中可能遭受的攻击及其防御措施,提出了一种验证安全通信是否真正安全的方法.该方法是一种混合型的形式化分析方法,先应用模型检测工具AVISPA分析安全通信过程是否会遭到攻击,然后采用形式化验证方法Object-Z建立模型和分析,并证明安全通信过程能否实现其安全目标.文中以基于传感器网络加密协议的安全通信过程为例,证实了该方法的可行性.
為瞭解決無線傳感器網絡在軍事、商業等領域上的安全和隱私問題,文中分析瞭傳感器節點通信過程中可能遭受的攻擊及其防禦措施,提齣瞭一種驗證安全通信是否真正安全的方法.該方法是一種混閤型的形式化分析方法,先應用模型檢測工具AVISPA分析安全通信過程是否會遭到攻擊,然後採用形式化驗證方法Object-Z建立模型和分析,併證明安全通信過程能否實現其安全目標.文中以基于傳感器網絡加密協議的安全通信過程為例,證實瞭該方法的可行性.
위료해결무선전감기망락재군사、상업등영역상적안전화은사문제,문중분석료전감기절점통신과정중가능조수적공격급기방어조시,제출료일충험증안전통신시부진정안전적방법.해방법시일충혼합형적형식화분석방법,선응용모형검측공구AVISPA분석안전통신과정시부회조도공격,연후채용형식화험증방법Object-Z건립모형화분석,병증명안전통신과정능부실현기안전목표.문중이기우전감기망락가밀협의적안전통신과정위례,증실료해방법적가행성.
