计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
1期
225-229,270
,共6页
物联网%形式化分析%David数字图书馆协议%通信顺序进程
物聯網%形式化分析%David數字圖書館協議%通信順序進程
물련망%형식화분석%David수자도서관협의%통신순서진정
Internet of things%Formal analysis%David's digital library protocol%Communicating sequential processes
在分析了物联网通信节点使用的David数字图书馆通信协议运行的基础上,指出了此协议存在阅读器非法扫描标签和协议主体没有会话密钥的安全隐患,提出了解决安全隐患的方案.采用通信顺序进程(CSP)的形式化分析方法对提出的方案进行了建模分析,对复杂环境下的攻击者和各协议主体建立了CSP进程.在实验中,攻击者在Dolev_Yao模型下对新的协议方案模型进行攻击,最后没有发现攻击点.实验结果表明,该协议方案能有效解决David数字图书馆协议的安全隐患,保证了协议主体的相互认证性以及会话密钥的安全性,证明了模型的可行性.
在分析瞭物聯網通信節點使用的David數字圖書館通信協議運行的基礎上,指齣瞭此協議存在閱讀器非法掃描標籤和協議主體沒有會話密鑰的安全隱患,提齣瞭解決安全隱患的方案.採用通信順序進程(CSP)的形式化分析方法對提齣的方案進行瞭建模分析,對複雜環境下的攻擊者和各協議主體建立瞭CSP進程.在實驗中,攻擊者在Dolev_Yao模型下對新的協議方案模型進行攻擊,最後沒有髮現攻擊點.實驗結果錶明,該協議方案能有效解決David數字圖書館協議的安全隱患,保證瞭協議主體的相互認證性以及會話密鑰的安全性,證明瞭模型的可行性.
재분석료물련망통신절점사용적David수자도서관통신협의운행적기출상,지출료차협의존재열독기비법소묘표첨화협의주체몰유회화밀약적안전은환,제출료해결안전은환적방안.채용통신순서진정(CSP)적형식화분석방법대제출적방안진행료건모분석,대복잡배경하적공격자화각협의주체건립료CSP진정.재실험중,공격자재Dolev_Yao모형하대신적협의방안모형진행공격,최후몰유발현공격점.실험결과표명,해협의방안능유효해결David수자도서관협의적안전은환,보증료협의주체적상호인증성이급회화밀약적안전성,증명료모형적가행성.
