/**
* @author changjin wei(魏昌进)
* @since 2022/11/26
*/
最近有点无聊，以至于我很已经很久没有写出高质量的博客，为了挽回自己的这种无聊感打算手撕一下ABAC模型，毕竟RBAC模型五张基础表玩来玩去也玩不出来多少火花了，整理一下ABAC模型的实现也让这个周末更有意义一点。
第一章ABAC授权模型是为了让大家先理解何为ABAC。
第二章ABAC实践是对ABAC模型的代码实现。
第三章简单的描述了一下如何整合进Spring Security 或者 Apache Shiro。
项目源码：galaxy-sea/galaxy-blogs/code/abac
ABAC授权模型
个人觉得这两篇文章已经完美描述了ABAC模型的原理
常用的授权模型
此节摘自基于属性的访问控制（ABAC）- 阿里云IDaaS
-
ACL（Access Control List），在ACL中，包含用户、资源、资源操作 三个关键要素。通过将资源以及资源操作授权给用户而使用户获取对资源进行操作的权限。
-
RBAC（Role-Based Access Control ），是把用户按角色进行归类，通过用户的角色来确定用户能否针对某项资源进行某项操作。RBAC相对于ACL最大的优势就是它简化了用户与权限的管理，通过对用户进行分类，使得角色与权限关联起来，而用户与权限变成了间接关联。
-
ABAC（Attribute Base Access Control） 基于属性的权限控制不同于常见的将用户通过某种方式关联到权限的方式，ABAC则是通过动态计算一个或一组属性来是否满足某种条件来进行授权判断（可以编写简单的逻辑）。属性通常来说分为四类：用户属性（如用户年龄），环境属性（如当前时间），操作属性（如读取）和对象属性，所以理论上能够实现非常灵活的权限控制，几乎能满足所有类型的需求。
ABAC的访问控制
基于ABAC访问控制需要动态计算实体的属性、操作类型、相关的环境来控制是否有对操作对象的权限，所以在设计的时候需要考虑的条件判断的灵活性、通用性、易用性，用户只需要通过web页面即可配置授权，这需要减少硬编码似得逻辑变得简单通用，那么这需要满足一些运算符来实现。
| 类型 |
运算符 |
| 算术运算符 |
+, -, *, /, %, ^, div, mod |
| 关系运算符 |
<, >, ==, !=, <=, >=, lt, gt, eq, ne, le, ge |
| 逻辑运算符 |
and, or, not, &&, ||, ! |
| 条件 |
?: |
使用场景
用户只需要配置 user.age > 20 的条件即可获得特定的权限。
表达式语言
正如上一节所说的需要对某种条件进行解析那么就需要表达式语言，这让我想起了Spring Framework的@Value注解和MyBatis的<if test=“”>
// 相信很多 Java boy都使用过的吧
@Value("A?B:C")
private String A;
<select id = "XXX">
<if test="user != null">
XXXX
</if>
</select>
看到这里大家应该大致猜到了ABAC的的核心就是Expression Language(EL)，虽然上面的代码演示是使用Java生态作为演示，但是可以大胆的相信其他的编程语言都是有着自己的EL框架的。
java EL框架列表
- spring-expression
- OGNL
- MVEL
- JBoss EL
这里就不一一列举了感兴趣可以查看Java EL生态排名
SpEL性能
Spring Expression Language (SpEL)官方文档
// Spring官方文档摘取 翻译
Spring Framework 4.1 包含一个基本的表达式编译器。表达式通常被解释，这在评估期间提供了很多动态灵活性，但没有提供最佳性能。对于偶尔的表达式使用，这很好，但是，当由其他组件（如 Spring Integration）使用时，性能可能非常重要，并且没有真正需要动态性。
SpEL 编译器旨在满足这一需求。在求值期间，编译器生成一个 Java 类，它体现了运行时的表达式行为，并使用该类来实现更快的表达式求值。由于缺少表达式周围的类型，编译器在执行编译时使用在表达式的解释评估期间收集的信息。例如，它不能纯粹从表达式中知道属性引用的类型，但在第一次解释评估期间，它会找出它是什么。当然，如果各种表达式元素的类型随时间发生变化，基于此类派生信息进行编译可能会在以后造成麻烦。出于这个原因，编译最适合其类型信息在重复计算时不会改变的表达式。
考虑以下基本表达式：
someArray[0].someProperty.someOtherProperty < 0.1
由于前面的表达式涉及数组访问、某些属性取消引用和数字操作，因此性能提升非常显着。在一个运行 50000 次迭代的微型基准测试示例中，使用解释器评估需要 75 毫秒，使用表达式的编译版本仅需要 3 毫秒。
有关SpEL的性能Spring官方描述说SpEL的性能很棒（个人感觉Spring对自己的测试结果是不是少打了一个0啊，3ms的时间有点无法理解）
ABAC实践
本章仅实现ABAC的原理，不会对Spring Security和 Apache Shiro做任何的集成
因为笔者本人是一位Spring boy，所以工程项目会以Spring Boot框架作为基础，使用其它编程语言的同学可能需要受苦一下了
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
