厦门大学学报(自然科学版)
廈門大學學報(自然科學版)
하문대학학보(자연과학판)
JOURNAL OF XIAMEN UNIVERSITY (NATURAL SCIENCE)
2008年
5期
635-640
,共6页
不可否认密码协议%可信第三方%SVO逻辑%形式化分析
不可否認密碼協議%可信第三方%SVO邏輯%形式化分析
불가부인밀마협의%가신제삼방%SVO라집%형식화분석
不可否认服务是电子商务中重要数据和敏感信息通过网络传输的安全基础.不可否认协议正是专门为了提供不可否认服务而设计的网络协议.现有的密码协议很少有满足严格意义上的不可否认性的.我们对现有的一种双方不可否认密码协议进行了分析和改进.新的双方不可否认密码协议既克服了原协议的不足,能抵制中间人攻击.冒充攻击,重放攻击,又满足公平性,不可否认性等安全性要求;既避免了可信第三方的性能瓶颈问题,保证了传输信息的机密性和完整性,又达到了严格意义上的不可否认性.采用SVO逻辑进一步分析和证明了新协议的双方不可否认性质.
不可否認服務是電子商務中重要數據和敏感信息通過網絡傳輸的安全基礎.不可否認協議正是專門為瞭提供不可否認服務而設計的網絡協議.現有的密碼協議很少有滿足嚴格意義上的不可否認性的.我們對現有的一種雙方不可否認密碼協議進行瞭分析和改進.新的雙方不可否認密碼協議既剋服瞭原協議的不足,能牴製中間人攻擊.冒充攻擊,重放攻擊,又滿足公平性,不可否認性等安全性要求;既避免瞭可信第三方的性能瓶頸問題,保證瞭傳輸信息的機密性和完整性,又達到瞭嚴格意義上的不可否認性.採用SVO邏輯進一步分析和證明瞭新協議的雙方不可否認性質.
불가부인복무시전자상무중중요수거화민감신식통과망락전수적안전기출.불가부인협의정시전문위료제공불가부인복무이설계적망락협의.현유적밀마협의흔소유만족엄격의의상적불가부인성적.아문대현유적일충쌍방불가부인밀마협의진행료분석화개진.신적쌍방불가부인밀마협의기극복료원협의적불족,능저제중간인공격.모충공격,중방공격,우만족공평성,불가부인성등안전성요구;기피면료가신제삼방적성능병경문제,보증료전수신식적궤밀성화완정성,우체도료엄격의의상적불가부인성.채용SVO라집진일보분석화증명료신협의적쌍방불가부인성질.