3.4 KiB
3.4 KiB
Casbin 学习笔记
版本基线:casbin v3.11.0;Go import 路径
github.com/casbin/casbin/v3(源码仓库apache/casbin)。本文是概念速记,不是教程。 Casbin 负责授权(能不能做某事),不负责身份认证(你是谁)。
1. 心智模型:PERM
| 段 | 作用 |
|---|---|
[request_definition] r = sub, obj, act |
一次访问请求长什么样 |
[policy_definition] p = sub, obj, act |
一条策略规则长什么样 |
[policy_effect] e = some(where (p.eft == allow)) |
多条策略如何合成结论 |
[matchers] m = g(r.sub, p.sub) && r.obj == p.obj && r.act == p.act |
r 与 p 如何配对 |
sub, obj, act只是最典型的字段,不是硬编码:可加dom、资源属性,也可用对象做 ABAC。- RBAC 再加
[role_definition] g = _,_,表示主体与角色的继承关系;g(a, b)意为“a 属于 b”,角色链会递归解析。 - 模型只描述“怎么判”,策略才决定“允许谁”,两者可分开存储与更新。
2. 核心组件
Casbin 运行时由以下组件构成,多数可在不同程度上替换或选配:
| 组件 | 职责 |
|---|---|
| Model | PERM 四段组成的规则模型,描述匹配逻辑,不含具体策略 |
| Policy | 具体策略规则的集合,可在内存或外部存储 |
| Enforcer | 判定入口:把请求套进模型与策略,得到 true/false |
| Adapter | 策略的存储读写层(DB/文件等),由应用选配 |
| RoleManager | 维护角色继承关系,支撑 g() |
| Watcher | 感知其他实例的变更并触发重载;Dispatcher 负责派发变更事件 |
组件协作:Model + Policy 交给 Enforcer 判定;Adapter 负责把 Policy 读入/写出;RoleManager 供 g() 解析继承;Watcher/Dispatcher 让多实例感知变更。
3. 判定链与策略示意
请求 → matcher 匹配 → 命中的策略 effect 合成 → 结果。
g, alice, admin # alice 属于 admin
p, admin, report, read # admin 可读 report
Enforce(alice, report, read) => true # 经角色继承
Enforce(bob, report, read) => false # 无授权
- 判定按请求逐条扫描策略:matcher 命中后,由 effect 合成最终结论。
some(where (p.eft == allow))是白名单语义:只要有一条 allow 就放行。
4. 关键提醒
- deny 与 error 都 fail-closed:
false是判定为拒,err != nil是判定失败;安全场景两者都当拒绝,别把错误当放行。 - 并发优先
SyncedEnforcer:常用 API 有锁;普通Enforcer需自行加锁,也不要假设所有接口都并发安全。 - 内存策略不会自动跨实例同步:Casbin 核心不内置同步,多副本要自己配置 Watcher 通知或周期重载/对账。
- ABAC 能判断单条对象的属性/所有权,但不会自动生成 SQL 查询过滤,列表与行级数据范围仍需业务层实现。
- 迁移 v2 → v3:只确认 adapter 自身路径带
/v3不够,要核对其go.mod是否依赖github.com/casbin/casbin/v3;v2 与 v3 的model.Model是不同 Go 包类型。 Enforce的参数要与r定义一致,类型/语义由模型与 matcher 决定,不是固定三元组。
官方来源
- v3.0.0 release(module path 变更):https://github.com/apache/casbin/releases/tag/v3.0.0
- v3.11.0
persist/adapter.go:https://github.com/apache/casbin/blob/v3.11.0/persist/adapter.go - ABAC 文档:https://casbin.org/docs/abac