信息安全与通信保密
信息安全與通信保密
신식안전여통신보밀
CHINA INFORMATION SECURITY
2014年
10期
109-112
,共4页
机密性%安全协议%形式化方法%Applied pi演算
機密性%安全協議%形式化方法%Applied pi縯算
궤밀성%안전협의%형식화방법%Applied pi연산
confidentiality%security protocol%formalization method%applied pi calculus
机密性是无线传感器网络众多安全需求中最为核心的一项,网络安全的重点通常首先就是要解决数据机密性问题,安全协议的机密性直接决定了网络中传输数据消息的安全性.文中基于Applied pi演算构建SNEP协议机密性论证模型,将协议分成协议进程和用户进程两部分来分析,将协议的机密性转换为协议的执行过程是否具备不可区分性,进而用等价理论证明了协议的机密性情况.
機密性是無線傳感器網絡衆多安全需求中最為覈心的一項,網絡安全的重點通常首先就是要解決數據機密性問題,安全協議的機密性直接決定瞭網絡中傳輸數據消息的安全性.文中基于Applied pi縯算構建SNEP協議機密性論證模型,將協議分成協議進程和用戶進程兩部分來分析,將協議的機密性轉換為協議的執行過程是否具備不可區分性,進而用等價理論證明瞭協議的機密性情況.
궤밀성시무선전감기망락음다안전수구중최위핵심적일항,망락안전적중점통상수선취시요해결수거궤밀성문제,안전협의적궤밀성직접결정료망락중전수수거소식적안전성.문중기우Applied pi연산구건SNEP협의궤밀성론증모형,장협의분성협의진정화용호진정량부분래분석,장협의적궤밀성전환위협의적집행과정시부구비불가구분성,진이용등개이론증명료협의적궤밀성정황.
