小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2012年
7期
1418-1421
,共4页
票据%移动网络%匿名认证%CK模型
票據%移動網絡%匿名認證%CK模型
표거%이동망락%닉명인증%CK모형
基于票据(Ticket)提出一个实用的移动网络匿名认证协议.协议分为两个阶段:票据产生阶段与漫游认证阶段.协议在票据产生阶段不需要访问服务器参与,且在漫游认证阶段不需要归属服务器参与,因此交互轮数少；协议使用椭圆曲线DiffieHellman(ECDH)协议进行密钥协商、使用椭圆曲线公钥加密(ECC)对认证消息进行加密并使用椭圆曲线数字签名算法(ECDSA)来产生及认证票据,因此具有较高的效率；同时协议利用CK模型进行形式化设计,具有会话密钥安全性(SK-secure).分析表明,该协议能够为移动网络提供用户匿名性的同时,终端计算时间仅是基于群签名的协议的三分之一左右,且满足票据可多次使用,因此适用于大规模的实际应用.
基于票據(Ticket)提齣一箇實用的移動網絡匿名認證協議.協議分為兩箇階段:票據產生階段與漫遊認證階段.協議在票據產生階段不需要訪問服務器參與,且在漫遊認證階段不需要歸屬服務器參與,因此交互輪數少；協議使用橢圓麯線DiffieHellman(ECDH)協議進行密鑰協商、使用橢圓麯線公鑰加密(ECC)對認證消息進行加密併使用橢圓麯線數字籤名算法(ECDSA)來產生及認證票據,因此具有較高的效率；同時協議利用CK模型進行形式化設計,具有會話密鑰安全性(SK-secure).分析錶明,該協議能夠為移動網絡提供用戶匿名性的同時,終耑計算時間僅是基于群籤名的協議的三分之一左右,且滿足票據可多次使用,因此適用于大規模的實際應用.
기우표거(Ticket)제출일개실용적이동망락닉명인증협의.협의분위량개계단:표거산생계단여만유인증계단.협의재표거산생계단불수요방문복무기삼여,차재만유인증계단불수요귀속복무기삼여,인차교호륜수소；협의사용타원곡선DiffieHellman(ECDH)협의진행밀약협상、사용타원곡선공약가밀(ECC)대인증소식진행가밀병사용타원곡선수자첨명산법(ECDSA)래산생급인증표거,인차구유교고적효솔；동시협의이용CK모형진행형식화설계,구유회화밀약안전성(SK-secure).분석표명,해협의능구위이동망락제공용호닉명성적동시,종단계산시간부시기우군첨명적협의적삼분지일좌우,차만족표거가다차사용,인차괄용우대규모적실제응용.
