四川大学学报(自然科学版)
四川大學學報(自然科學版)
사천대학학보(자연과학판)
JOURNAL OF SICHUAN UNIVERSITY(NATURAL SCIENCE EDITION)
2010年
1期
67-70
,共4页
董长阳%刘晓洁%胡晓勤%卢正添%端木传毅
董長暘%劉曉潔%鬍曉勤%盧正添%耑木傳毅
동장양%류효길%호효근%로정첨%단목전의
电子政务%PKI%BAN逻辑%备案
電子政務%PKI%BAN邏輯%備案
전자정무%PKI%BAN라집%비안
electronic government%PKI%BAN logic%record
本文提出了一种面向网上政府采购的安全采购项目备案的协议.该协议运用了以数字证书为核心的PKI技术,实现了用户的身份认证和访问控制,保证了整个采购项目的备案过程中数据的保密性、完整性和不可抵赖性.并通过一种形式分析模型BAN逻辑证明了该协议的安全性.实验证明该方法可以解决网上政府采购中采购项目备案服务对安全性的需求.
本文提齣瞭一種麵嚮網上政府採購的安全採購項目備案的協議.該協議運用瞭以數字證書為覈心的PKI技術,實現瞭用戶的身份認證和訪問控製,保證瞭整箇採購項目的備案過程中數據的保密性、完整性和不可牴賴性.併通過一種形式分析模型BAN邏輯證明瞭該協議的安全性.實驗證明該方法可以解決網上政府採購中採購項目備案服務對安全性的需求.
본문제출료일충면향망상정부채구적안전채구항목비안적협의.해협의운용료이수자증서위핵심적PKI기술,실현료용호적신빈인증화방문공제,보증료정개채구항목적비안과정중수거적보밀성、완정성화불가저뢰성.병통과일충형식분석모형BAN라집증명료해협의적안전성.실험증명해방법가이해결망상정부채구중채구항목비안복무대안전성적수구.
Proposed a secure procurement record protocol for e-Government. With PKI technology based on digital certificate, the system implemented user authentication and access control, ensured the integrity, non-repudiation and security of information in the procurement record process. The protocol is proved security by BAN logic, experiments shows that the method could solve security problem in record service.