通信学报
通信學報
통신학보
JOURNAL OF CHINA INSTITUTE OF COMMUNICATIONS
2011年
5期
139-145
,共7页
无线传感器网络%安全协议%形式化分析%串空间
無線傳感器網絡%安全協議%形式化分析%串空間
무선전감기망락%안전협의%형식화분석%천공간
分析A.Perrig提出的传感器网络安全协议套件的安全性,发现其中的节点密钥协商协议存在攻击,即攻击者可以冒充合法节点发送密钥协商请求.针对以上攻击,给出了一个改进协议.为了分析改进协议的安全性,对原始串空间理论进行了扩展,并使用扩展后的理论从保密性和认证性两个方面分析了改进协议的安全性.分析结果显示,改进后的协议是安全的.同时,对串空间理论的扩展,为其能够分析较复杂的安全协议打下了基础.
分析A.Perrig提齣的傳感器網絡安全協議套件的安全性,髮現其中的節點密鑰協商協議存在攻擊,即攻擊者可以冒充閤法節點髮送密鑰協商請求.針對以上攻擊,給齣瞭一箇改進協議.為瞭分析改進協議的安全性,對原始串空間理論進行瞭擴展,併使用擴展後的理論從保密性和認證性兩箇方麵分析瞭改進協議的安全性.分析結果顯示,改進後的協議是安全的.同時,對串空間理論的擴展,為其能夠分析較複雜的安全協議打下瞭基礎.
분석A.Perrig제출적전감기망락안전협의투건적안전성,발현기중적절점밀약협상협의존재공격,즉공격자가이모충합법절점발송밀약협상청구.침대이상공격,급출료일개개진협의.위료분석개진협의적안전성,대원시천공간이론진행료확전,병사용확전후적이론종보밀성화인증성량개방면분석료개진협의적안전성.분석결과현시,개진후적협의시안전적.동시,대천공간이론적확전,위기능구분석교복잡적안전협의타하료기출.
