DSS电子签名库6.0.1版本发布:支持ETSI TS 119 612 v2.3.1信任列表
DSS(Digital Signature Service)是欧盟委员会开发的一个开源电子签名库,提供了创建、扩展和验证各种电子签名格式(XAdES、PAdES、CAdES等)的功能。作为欧盟eIDAS电子身份认证框架的重要组成部分,DSS在欧盟范围内被广泛应用于电子签名和电子印章的验证场景。
核心更新内容
本次6.0.1版本主要针对ETSI TS 119 612 v2.3.1标准中定义的信任列表(TL)v6版本提供了支持。信任列表是电子签名验证过程中关键的基础设施,它包含了被认可的证书颁发机构(CA)和服务提供商信息。随着标准的演进,v6版本信任列表的引入需要相应的验证支持。
信任列表v6验证支持
新版本最重要的改进是增加了对信任列表v6版本的验证能力。在电子签名验证过程中,系统需要检查签名证书是否来自受信任的证书颁发机构,这一信息通常从信任列表中获取。v6版本信任列表采用了更新的结构和格式,符合ETSI最新的技术规范要求。
为了保持向后兼容性,DSS 6.0.1版本同时支持v5和v6两种版本的信任列表验证。这一特性确保了系统可以平滑过渡到新标准,而不会影响现有基于v5版本信任列表的签名验证流程。
其他重要改进
除了信任列表v6的支持外,本次发布还包含以下重要改进:
-
安全依赖更新:更新了多个第三方库的版本,包括BouncyCastle、VeraPdf、FOP和logback等,修复了已知的安全漏洞,提高了系统的整体安全性。
-
内存泄漏修复:解决了XAdES签名创建过程中可能存在的内存泄漏问题,提高了系统在长时间运行时的稳定性。
-
验证报告格式修正:修复了验证报告中CertificateValues和RevocationValues字段的格式问题,确保生成的报告符合规范要求。
-
单元测试维护:更新了因证书过期而失效的单元测试,保证了测试套件的有效性。
迁移注意事项
对于现有系统的升级,需要注意以下配置变更:
在验证策略文件中,原来针对信任列表版本的配置需要从单一版本检查改为多版本支持。具体来说,需要将原来的固定版本号配置改为包含多个版本标识的列表配置。
这种配置变更确保了系统可以同时接受v5和v6版本的信任列表,为过渡期提供了灵活性。系统管理员应根据实际使用的信任列表版本情况,适时更新验证策略配置。
技术影响分析
本次更新虽然版本号变化不大,但对电子签名验证生态系统有重要意义:
-
标准合规性:支持最新的ETSI标准,确保系统能够验证基于最新规范创建的电子签名。
-
互操作性:随着越来越多的国家和服务提供商迁移到v6信任列表,这一更新保证了系统能够与这些新系统交互。
-
安全增强:通过更新依赖库,修复了多个潜在的安全漏洞,提高了系统的整体安全性。
对于电子签名服务提供商和集成商来说,及时升级到6.0.1版本可以确保系统能够处理最新的信任列表,同时保持与现有系统的兼容性。建议在测试环境中充分验证后,逐步在生产环境中部署此更新。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C081
baihu-dataset异构数据集“白虎”正式开源——首批开放10w+条真实机器人动作数据,构建具身智能标准化训练基座。00
mindquantumMindQuantum is a general software library supporting the development of applications for quantum computation.Python056
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00
GLM-4.7GLM-4.7上线并开源。新版本面向Coding场景强化了编码能力、长程任务规划与工具协同,并在多项主流公开基准测试中取得开源模型中的领先表现。 目前,GLM-4.7已通过BigModel.cn提供API,并在z.ai全栈开发模式中上线Skills模块,支持多模态任务的统一规划与协作。Jinja00
agent-studioopenJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0135
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00