openTDF quickstart
opentdf quickstart手把手搭建
SSO、CAS、OAuth、OIDC的区别
AuthN和AuthZ实现的种种方式
vlog|黄山之行
五岳归来不看山，黄山归来不看岳
关于告别
关于告别，关于纪念
安全属性|密钥相关属性
密钥基础安全属性&涉及密钥泄露的安全属性
安全属性|认证属性的层次结构
认证（authentication）就其基本形式而言，就是一个关于预期的通信对象存在与否的简单语句
vlog|夜爬华山
嘿，累吗？
形式化3|分离逻辑
分离逻辑是霍尔逻辑的拓展
形式化2|霍尔逻辑
霍尔逻辑（Floyd-Hoare Logic）是程序验证的理论基础
形式化1|概述
“将观念付诸语言”