桂林理工大学学报
桂林理工大學學報
계림리공대학학보
JOURNAL OF GUILIN UNIVERSITY OF TECHNOLOGY
2013年
2期
333-338
,共6页
物联网%形式化分析%安全协议%通信顺序进程
物聯網%形式化分析%安全協議%通信順序進程
물련망%형식화분석%안전협의%통신순서진정
Internet of Things%formal analysis%security protocol%communication sequential process
针对物联网通信协议安全性不足和使用非形式化方法进行分析时容易出现错误的问题,提出了一种物联网安全通信协议,建立了协议主体模型和攻击者模型,采用通信顺序进程CSP的形式化方法对协议模型进行了分析.该通信协议对传送的信息进行加密,采用的加密方式是散列函数结合异或运算.协议主体进行了相互认证,认证服务器为协议主体通信分配了会话密钥,解决了读写器非法扫描和信息安全传送的问题.利用故障发散改进检测器(FDR)对该协议模型CSP进程进行了检测,结果表明:该协议主体进行了相互认证,会话密钥是安全的,所提出的物联网通信协议是安全可靠的,CSP方法用于分析协议的安全性是可行的.
針對物聯網通信協議安全性不足和使用非形式化方法進行分析時容易齣現錯誤的問題,提齣瞭一種物聯網安全通信協議,建立瞭協議主體模型和攻擊者模型,採用通信順序進程CSP的形式化方法對協議模型進行瞭分析.該通信協議對傳送的信息進行加密,採用的加密方式是散列函數結閤異或運算.協議主體進行瞭相互認證,認證服務器為協議主體通信分配瞭會話密鑰,解決瞭讀寫器非法掃描和信息安全傳送的問題.利用故障髮散改進檢測器(FDR)對該協議模型CSP進程進行瞭檢測,結果錶明:該協議主體進行瞭相互認證,會話密鑰是安全的,所提齣的物聯網通信協議是安全可靠的,CSP方法用于分析協議的安全性是可行的.
침대물련망통신협의안전성불족화사용비형식화방법진행분석시용역출현착오적문제,제출료일충물련망안전통신협의,건립료협의주체모형화공격자모형,채용통신순서진정CSP적형식화방법대협의모형진행료분석.해통신협의대전송적신식진행가밀,채용적가밀방식시산렬함수결합이혹운산.협의주체진행료상호인증,인증복무기위협의주체통신분배료회화밀약,해결료독사기비법소묘화신식안전전송적문제.이용고장발산개진검측기(FDR)대해협의모형CSP진정진행료검측,결과표명:해협의주체진행료상호인증,회화밀약시안전적,소제출적물련망통신협의시안전가고적,CSP방법용우분석협의적안전성시가행적.
