[论文解读] An Evaluated Certification Services System for the German National Root CA - Legally Binding and Trustworthy Transactions in E-Business and E-Government
本文介绍了德国国家根证书颁发机构（NRC）系统的全新设计、评估与认证，该系统基于FlexiTRUST软件，支持在电子政务和电子商业中实现具有法律约束力且全球互操作的电子交易。该系统通过了通用准则EAL3+评估，支持OCSP和LDAP等标准化协议，并通过灵活的密码参数支持和安全机制的形式化验证，确保长期安全性。
National Root CAs enable legally binding E-Business and E-Government transactions. This is a report about the development, the evaluation and the certification of the new certification services system for the German National Root CA. We illustrate why a new certification services system was necessary, and which requirements to the new system existed. Then we derive the tasks to be done from the mentioned requirements. After that we introduce the initial situation at the beginning of the project. We report about the very process and talk about some unfamiliar situations, special approaches and remarkable experiences. Finally we present the ready IT system and its impact to E-Business and E-Government.
研究动机与目标
- 为德国国家根CA开发一套新的证书服务系统，以满足数字签名的严格法律和技术要求。
- 确保符合德国数字签名法（SigG）、SigV条例以及ISIS-MTT配置文件。
- 实现通用准则（CC）EAL3+评估，确保安全机制的形式化验证。
- 实现长期安全性，并适应不断演进的密码学标准。
- 支持在电子政务和电子商业基础设施中可扩展、高可用且互操作的部署。
提出的方法
- 基于FlexiTRUST软件作为核心信任中心组件，设计并实现了基于PKI的新证书服务系统。
- 集成符合ISIS-MTT SigG-Profile的OCSP响应器，以实现实时证书状态检查。
- 形式化定义安全机制，并按通用准则方法论要求实现防篡改日志记录。
- 开展形式化数学证明，以展示密码参数对高潜力攻击的抗性。
- 执行严格、形式化的测试与文档编制，以满足CC评估要求，且在评估后不修改代码。
- 在RegTP现场完成数据迁移、系统部署及人员培训。
实验结果
研究问题
- RQ1如何设计国家根CA系统，以在满足不断演进的法律与密码学标准的同时，确保长期安全性？
- RQ2在国家PKI系统中实现通用准则EAL3+认证时，面临哪些关键技术与程序性挑战？
- RQ3如何实现基于OCSP的证书吊销机制，同时支持合格电子签名并具备高可用性？
- RQ4在CC评估框架下，需要采用哪些形式化方法来证明密码参数的安全性？
- RQ5如何在保持系统完整性与合规性的前提下，安全迁移遗留数据？
主要发现
- FlexiTRUST 3.0 Release 0347系统已通过通用准则EAL3+认证，其安全机制被评定为‘高’安全强度。
- 该系统成功通过通用准则方法论的评估，包括密码参数的形式化验证与防篡改日志记录。
- OCSP响应器已按ISIS-MTT SigG-Profile实现，支持标准化的实时证书状态检查。
- 系统支持任意密码算法与参数，确保对未来的密码分析发展具有适应性，并保障长期不可否认性。
- 该系统于2003年12月在RegTP现场成功部署，已认证符合SigG与SigV要求。
- 该解决方案支持在电子政务与电子商业领域实现全球互操作、具有法律约束力的电子交易。
更好的研究，从现在开始
从阅读论文到最终审阅，大幅缩短您的研究时间。
无需绑定信用卡
本解读由 AI 生成，并经人工编辑审核。