计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2012年
4期
664-672
,共9页
张子剑%祝烈煌%王峰%廖乐健
張子劍%祝烈煌%王峰%廖樂健
장자검%축렬황%왕봉%료악건
计算可靠%高效%符号化分析%通用可组合%群组密钥协商
計算可靠%高效%符號化分析%通用可組閤%群組密鑰協商
계산가고%고효%부호화분석%통용가조합%군조밀약협상
符号化分析方法将密码原语视为黑盒,且未研究其需要满足的具体安全属性,因而计算可靠性一直备受质疑.而且,这类方法在分析参与者数目较多的群组密钥协商协议时不具有高效性.针对上述两个问题,文中提出了一种计算可靠且高效的群组密钥协商协议符号化分析方法.该方法通过为符号化表达式设计一个Pattern函数,定义了模幂运算需要满足的具体安全属性,并基于此证明了符号化分析Burmester-Desmedt协议在通用可组合安全框架下是计算可靠的.进而通过数学归纳法,证明了Burmester-Desmedt协议的安全性与参与者数目无关,避免了参与者数目对符号化分析造成的影响,提高了符号化分析方法的效率.
符號化分析方法將密碼原語視為黑盒,且未研究其需要滿足的具體安全屬性,因而計算可靠性一直備受質疑.而且,這類方法在分析參與者數目較多的群組密鑰協商協議時不具有高效性.針對上述兩箇問題,文中提齣瞭一種計算可靠且高效的群組密鑰協商協議符號化分析方法.該方法通過為符號化錶達式設計一箇Pattern函數,定義瞭模冪運算需要滿足的具體安全屬性,併基于此證明瞭符號化分析Burmester-Desmedt協議在通用可組閤安全框架下是計算可靠的.進而通過數學歸納法,證明瞭Burmester-Desmedt協議的安全性與參與者數目無關,避免瞭參與者數目對符號化分析造成的影響,提高瞭符號化分析方法的效率.
부호화분석방법장밀마원어시위흑합,차미연구기수요만족적구체안전속성,인이계산가고성일직비수질의.이차,저류방법재분석삼여자수목교다적군조밀약협상협의시불구유고효성.침대상술량개문제,문중제출료일충계산가고차고효적군조밀약협상협의부호화분석방법.해방법통과위부호화표체식설계일개Pattern함수,정의료모멱운산수요만족적구체안전속성,병기우차증명료부호화분석Burmester-Desmedt협의재통용가조합안전광가하시계산가고적.진이통과수학귀납법,증명료Burmester-Desmedt협의적안전성여삼여자수목무관,피면료삼여자수목대부호화분석조성적영향,제고료부호화분석방법적효솔.
