信息工程大学学报
信息工程大學學報
신식공정대학학보
JOURNAL OF INFORMATION ENGINEERING UNIVERSITY
2012年
5期
513-520
,共8页
光焱%顾纯祥%黄莉%赵双峰
光焱%顧純祥%黃莉%趙雙峰
광염%고순상%황리%조쌍봉
公钥密码体制%可证安全%进程演算%基于游戏的证明方法
公鑰密碼體製%可證安全%進程縯算%基于遊戲的證明方法
공약밀마체제%가증안전%진정연산%기우유희적증명방법
可证安全是一种通过严格证明确保密码体制安全性的形式化方法,但由于其证明结论严重依赖于证明者个人的经验和技巧,这一方法本身的可靠性受到了质疑.文章设计并实现了一套公钥密码体制安全性自动化证明系统,使用一种概率多项式时间进程演算描述可证安全模型,借助进程间的互模拟等价关系和进程约减实现基于游戏的可证安全自动化证明.系统在C语言环境下实现,已完成ElGamal加密体制和FDH签名体制在内的一系列密码体制的安全性证明测试.
可證安全是一種通過嚴格證明確保密碼體製安全性的形式化方法,但由于其證明結論嚴重依賴于證明者箇人的經驗和技巧,這一方法本身的可靠性受到瞭質疑.文章設計併實現瞭一套公鑰密碼體製安全性自動化證明繫統,使用一種概率多項式時間進程縯算描述可證安全模型,藉助進程間的互模擬等價關繫和進程約減實現基于遊戲的可證安全自動化證明.繫統在C語言環境下實現,已完成ElGamal加密體製和FDH籤名體製在內的一繫列密碼體製的安全性證明測試.
가증안전시일충통과엄격증명학보밀마체제안전성적형식화방법,단유우기증명결론엄중의뢰우증명자개인적경험화기교,저일방법본신적가고성수도료질의.문장설계병실현료일투공약밀마체제안전성자동화증명계통,사용일충개솔다항식시간진정연산묘술가증안전모형,차조진정간적호모의등개관계화진정약감실현기우유희적가증안전자동화증명.계통재C어언배경하실현,이완성ElGamal가밀체제화FDH첨명체제재내적일계렬밀마체제적안전성증명측시.
