计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2006年
22期
10-13
,共4页
李谢华%李建华%杨树堂%诸鸿文
李謝華%李建華%楊樹堂%諸鴻文
리사화%리건화%양수당%제홍문
WAPI%接入鉴别%密钥协商
WAPI%接入鑒彆%密鑰協商
WAPI%접입감별%밀약협상
WAPI协议是我国自行制定的无线局域网国家标准.该文在研究WAPI接入鉴别过程的基础上,使用BAN逻辑对其进行了形式化的分析和验证,证明了接入鉴别过程能够达到信息安全所要求的身份认证、数据完整性和机密性目标.
WAPI協議是我國自行製定的無線跼域網國傢標準.該文在研究WAPI接入鑒彆過程的基礎上,使用BAN邏輯對其進行瞭形式化的分析和驗證,證明瞭接入鑒彆過程能夠達到信息安全所要求的身份認證、數據完整性和機密性目標.
WAPI협의시아국자행제정적무선국역망국가표준.해문재연구WAPI접입감별과정적기출상,사용BAN라집대기진행료형식화적분석화험증,증명료접입감별과정능구체도신식안전소요구적신빈인증、수거완정성화궤밀성목표.