Posted in 其他Go语言实现可证明收敛迭代器（Coq形式化验证通过）：首个通过ISO/IEC 15408 EAL5+认证的数学模块 第一章：Go语言数学迭代器的理论 … Go语言实现可证明收敛迭代器（Coq形式化验证通过）：首个通过ISO/IEC 15408 EAL5+认证的数学模块Read more by Go语言笔记|2026年3月15日|Go语言编程实践, ISO/IEC, Coq形式化验证, 15408, EAL5+安全等级, 迭代器收敛性, 数学模块认证
Posted in 其他golang密码管理器开发者最后的防线：基于eBPF的实时内存dump阻断系统（已通过ISO/IEC 15408 EAL4+预认证） 第一章：golang密码管理器开 … golang密码管理器开发者最后的防线：基于eBPF的实时内存dump阻断系统（已通过ISO/IEC 15408 EAL4+预认证）Read more by 运维喵|2026年2月22日|ISO/IEC, Linux内核安全, EAL4+认证, Go语言密码管理器, eBPF内存保护, 实时内存dump阻断, 15408
