龙虾竟然还有形式化验证（安全模型）的部分，http://t.cn/AXVS1n6d，从文档来看，是用TLA+验证安全策略(authorization, session isolation, tool gating, and misconfiguration safety)是否符合预期。它对应的formal model在这个仓库里，http://t.cn/AXVS1n6r
发布于 新加坡
Alin的技术笔记 26-03-10 14:21
龙虾竟然还有形式化验证（安全模型）的部分，http://t.cn/AXVS1n6d，从文档来看，是用TLA+验证安全策略(authorization, session isolation, tool gating, and misconfiguration safety)是否符合预期。它对应的formal model在这个仓库里，http://t.cn/AXVS1n6r