一個(gè)可互操作PKI系統(tǒng)的設(shè)計(jì)及其不可否認(rèn)服務(wù)的研究與實(shí)現(xiàn).pdf

1、該論文的工作主要是:以X.509標(biāo)準(zhǔn)為基礎(chǔ),對(duì)PKI系統(tǒng)的體系結(jié)構(gòu)作一定的研究,并設(shè)計(jì)一個(gè)適用于企業(yè)的PKI系統(tǒng)框架.這個(gè)系統(tǒng)框架的目標(biāo)是適當(dāng)劃分整個(gè)PKI系統(tǒng)的功能組件,使其具有一定的可擴(kuò)展性和互操作性,為日后的進(jìn)一步研究,實(shí)現(xiàn)打下基礎(chǔ).分析目前相對(duì)較成熟的幾種不可否認(rèn)服務(wù)協(xié)議,并對(duì)其不足之處作出改進(jìn).對(duì)所作的改進(jìn)采用形式化理論工具進(jìn)行證明.對(duì)不可否認(rèn)服務(wù)的實(shí)現(xiàn)技術(shù)作一定的研究,并提出自己的解決辦法. 在論文中,對(duì)非對(duì)稱(chēng)加密技術(shù)和PK

2、I技術(shù)及其現(xiàn)狀作了簡(jiǎn)要綜述,分析了PKI系統(tǒng)的功能需求,系統(tǒng)組成及各子系統(tǒng)的劃分.特別討論了PKI域間認(rèn)證的機(jī)制.根據(jù)APKI分析設(shè)計(jì)了PKI系統(tǒng)的層次模型. 在對(duì)不可否認(rèn)協(xié)議技術(shù)的研究中,簡(jiǎn)要介紹了現(xiàn)有的不可否認(rèn)協(xié)議,重點(diǎn)分析了J.Zhou和D. Gollmann提出的不可否認(rèn)協(xié)議,對(duì)zhou-Gollmann的協(xié)議提出了一個(gè)新的改進(jìn)辦法,克服了該協(xié)議存在的不足,并用SVO邏輯改進(jìn)后的協(xié)議進(jìn)行正確性驗(yàn)證.最后探討了不可否認(rèn)協(xié)議的實(shí)現(xiàn)技