Kratos 微服务框架实现权鉴 - Casbin
Kratos 微服务框架实现权鉴 - Casbin
Casbin(https://github.com/casbin/casbin)是一套访问控制开源库,致力于帮助复杂系统解决权限管理的难题。同时也是一个国产开源项目。Casbin 采用了元模型的设计思想,既支持 ACL(访问控制列表),RBAC(基于角色访问控制),ABAC(基于属性访问控制)等经典的访问控制模型,也支持用户按照自身需求灵活定义权限。Casbin 已经被 Intel、IBM、腾讯云、VMware、RedHat、T-Mobile 等公司开源使用,被 Cisco、Verizon 等公司闭源使用。具体详见 Casbin 主页(https://casbin.org/)。
Casbin 由北京大学罗杨博士在 2017 年 4 月发起,罗杨博士的研究方向为云计算访问控制,目前已发表数十篇相关学术论文,曾经在 ICWS、IEEE CLOUD、ICICS 等多个顶级学术会议进行论文宣讲。Casbin 项目则是其研究成果的落地。
Casbin 最初是一个用 Go 语言打造的开源轻量级的统一访问控制框架。目前已逐渐发展,扩展到 Go、Java、Node.js、Javascript(React)、Python、PHP、.NET、Delphi、Rust 等多种语言,在 GitHub 开源(https://github.com/casbin/casbin),主项目在 GitHub 上已有 1.3w+ stars。该项目目前已经有一个上百人稳定的团队进行维护,并在持续不断发展中。
理解 Casbin
宏观上,Casbin 可以分为三个核心概念:
请求(Request);
模型(Model);
策略(Policy)。
以上三个核心概念,在官方提供的编辑器里边具有直观的体现:https://casbin.org/zh/editor,它实质上是一个交互式解释器,你也可以在其中测试模型和策略。
我们举个简单的例子来描述:用户 bob 发起了一个 HTTP 的 GET 请求 /users
;模型 提供了判定的规则,比如我们经常使用的 RBAC 模型,我们定义一个角色:超级用户,它可以访问一切资源;策略,提供了用户账户与角色、资源、行为等的映射关系,通过这个映射关系,系统得知 bob 是超级用户角色。综上,系统得出结论:bob 是超级用户,可以访问一切资源。
从微观上,一个请求由以下一个三元组组成:
访问实体 (Subject);
访问资源 (Object);
访问方法 (Action)。
判定方法Enforcer.Enforce
的入参传入三元组,并实施判断。比如上述例子当中:访问实体 = bob
;访问资源 = /users
;访问方法 = HTTP GET
。
配置解析
Casbin 的配置有两个:模型和策略。其中,策略配置因为经常变动,所以更多时候会被持久化到数据库当中。
模型(Access Control Model)
Casbin 的访问控制模型被抽象成了一个配置文件,这个配置文件由以下五部分组成
以一个最简单的 RABC 模型举例:
1. 请求定义 (Request Definition)
定义了在 Enforcer.Enforce
方法中请求的参数和这些传入参数的顺序;一个基本的 Request 由一个三元组组成:[subject,obj,act]
,subject
是指访问的实体,也就是用户;obj
是指请求的资源,act
是指对这个资源的操作,定义如下:
2. 策略定义 (Policy Definition)
定义了访问策略的模型,其实就是定义了在 Policy Document 中策略规则的字段名称以及顺序,定义如下:
3. 匹配器定义 (Matcher)
定义了 request 和 policy 之间的匹配规则,例如:
上面的这个匹配规则就是当请求的参数 (r.sub, r.obj, r.act)
在定义的策略文件中能找到,说明就匹配成功了,返回的结果会存放在 p.eft
当中。
4. 策略效果 (Policy Effect)
Effect 可以说是在 Matcher 的匹配结果之上,再次进行逻辑组合判断,判断的结果才是该用户是否有操作权限的结果。
下面是一个例子:
上面这个逻辑表达式的意思就是说:当在 matcher 匹配的结果中存在任何一个 p.eft == allow
的结果,那么这个逻辑表达式的结果就为 true
5. 角色定义 (Role Definition)(可选)
上面的四个是最基本的,如果使用 RBAC 的 Access model,那么还需要 Role 模型的定义,就是定义用户角色的模型,如下所示:
策略文档 (Policy Document)
策略文档就是根据 Access Control Model 中定义的 [policy_definition]
生成的一条条 policy rule (策略规则),比如:
如果是使用 RBAC model,那么还会在这个文件中根据 [role_definition]
生成用户和角色的实例,比如:
一个最简单的 Casbin 的 Golang 程序
以上的代码,加载了文件形式的配置文件。Enforce
方法对写死的一组三元组数据进行判定。
虽然上面的代码看起来很简单。但是,如果不能够理解基础概念,要上手起来还是会比较难。
将 Casbin 实施封装
Casbin 的模型,通常定了之后,基本上都不会变,所以,写在配置文件当中并没有问题。
而策略是经常变的,所以通常来说,是需要持久化到数据库当中去的。官方库当中提供了许许多多丰富的Adapter
实现,我默认实现了一个加载内存策略的实现,当然,要替换成其他实现也是容易的。
然后将 Casbin 封装成一个引擎:
需要注意的是,在这个实现里面,实际上设计的是四元组,而事实上 Casbin 支持的是三元组,要支持四元组有点头疼,所以,我基本上没有支持,所以看起来会有一些奇怪。
将 Casbin 整合进 Kratos
上面的封装有好几个接口,但是要用到的其实只有一个接口:IsAuthorized
,我们将之封装成一个中间件以供 Kratos 调用。
中间件的实现很简单,所以不再赘述。
具体的使用方法可以在单元测试里面具体看到,另外我还开源了一个 CMS 也有实际应用。
相关代码
相关代码已经开源,欢迎拉取参考学习:
应用方面的代码,我开源了一个简单的 CMS,完整的应用可在当中找到:
参考资料
版权声明: 本文为 InfoQ 作者【喵个咪】的原创文章。
原文链接:【http://xie.infoq.cn/article/82ee28934070b547529a03b1c】。
本文遵守【CC-BY 4.0】协议,转载请保留原文出处及本版权声明。
评论