RAM授权策略语言

基本元素

RAM中使用Policy(授权策略)来描述授权的具体内容，授权内容主要包含效力(Effect)、资源(Resource)、对资源所授予的操作权限(Action)以及限制条件(Condition)这几个基本元素。

效力(Effect)

授权效力包括两种：允许（Allow）和拒绝（Deny）。

资源(Resource)

资源是指被授权的具体对象。比如，访问策略“允许张三对资源SampleBucket执行GetBucket操作”中的资源是“SampleBucket”。

操作方法(Action)

操作方法是指对具体资源的操作。比如，访问策略“允许张三对资源SampleBucket执行GetBucket操作”中的操作是“GetBucket”。

限制条件(Condition)

限制条件是指授权生效的限制条件。比如，访问策略“允许张三在2011年12月31日之前对资源SampleBucket执行GetBucket操作”中的限制条件是“在2011年12月31日之前”。

语法结构

Policy结构包括Policy版本号及授权语句列表。每个授权语句又包括Effect（授权类型）、Action（操作名称列表）、Resource（操作对象列表）以及Condition（条件限制），其中Condition是可选项。

Policy结构简述如下：

支持JSON格式描述

目前RAM仅仅支持JSON格式的描述。当创建或更新Policy时，RAM会首先检查JSON格式的正确性。关于JSON的语法标准请参考RFC 7159。用户也可以使用一些在线的JSON格式验证器和编辑器来校验JSON文本的有效性。

Policy语法

语法描述的符号使用说明：

1. Policy所包含的JSON字符有：
   { } [ ] " , :
2. 描述语法使用的特殊字符有：
   = < > ( ) |
3. 当一个元素允许多值时，这里使用逗号和省略号来表达，比如：
   [<action_string>, <action_string>, ...]
4. 在所有支持多值的语法中，使用单值也是有效的。而且这两种表达方式是等效的：
   "Action": [<action_string>] 和 "Action": <action_string>
5. 带有问号的元素表示这是一个可选元素，比如：
   <condition_block?>
6. 多值之间用竖线(|)隔开，表示取值只能选取这些值中的某一个。比如：
   ("Allow" | "Deny")
7. 使用双引号引起了的元素，表示它是文本串。比如：
   <version_block> = "Version" : ("1")

语法描述：

policy  = {
     <version_block>,
     <statement_block>
}
<version_block> = "Version" : ("1")
<statement_block> = "Statement" : [ <statement>, <statement>, ... ]
<statement> = { 
    <effect_block>,
    <action_block>,
    <resource_block>,
    <condition_block?>
}
<effect_block> = "Effect" : ("Allow" | "Deny")  
<action_block> = ("Action" | "NotAction") : 
    ("*" | [<action_string>, <action_string>, ...])
<resource_block> = ("Resource" | "NotResource") : 
    ("*" | [<resource_string>, <resource_string>, ...])
<condition_block> = "Condition" : <condition_map>
<condition_map> = {
  <condition_type_string> : { 
      <condition_key_string> : <condition_value_list>,
      <condition_key_string> : <condition_value_list>,
      ...
  },
  <condition_type_string> : {
      <condition_key_string> : <condition_value_list>,
      <condition_key_string> : <condition_value_list>,
      ...
  }, ...
}  
<condition_value_list> = [<condition_value>, <condition_value>, ...]
<condition_value> = ("String" | "Number" | "Boolean")

Effect（授权类型）

Effect取值为Allow或Deny。比如，

"Effect": "Allow"

Action（操作名称列表）

Action支持多值，取值为云服务所定义的API操作名称，其格式定义如下：

<service-name>:<action-name>

格式说明：

service-name: 阿里云产品名称，如ecs, rds, slb, oss, ots等。

action-name: service相关的api操作接口名称。

描述样例：

"Action": ["oss:ListBuckets", "ecs:Describe*", "rds:Describe*"]

Resource（操作对象列表）

Resource通常指操作对象，比如ECS虚拟机实例，OSS存储对象。我们使用如下格式来命名阿里云服务的资源命名。

acs:<service-name>:<region>:<account-id>:<relative-id>

格式说明：

• acs: Aliyun Cloud Service的首字母缩写，表示阿里云的公有云平台
  
• service-name: 阿里云提供的Open Service的名字，如ecs, oss, ots等
  
• region: 地区信息。如果不支持该项，可以使用通配符“*”号来代替
  
• account-id: 账号ID，比如 1234567890123456，也可以用“*”代替
  
• relative-id: 与service相关的资源描述部分，其语义由具体service指定。这部分的格式描述支持类似于一个文件路径的树状结构。以oss为例，relative-id = “mybucket/dir1/object1.jpg”表示一个OSS对象。
  

描述样例：

"Resource": ["acs:ecs:*:*:instance/inst-001", "acs:ecs:*:*:instance/inst-002", "acs:oss:*:*:mybucket", "acs:oss:*:*:mybucket/*"]

Condition（条件限制）

条件块(Condition Block)由一个或多个条件子句构成。一个条件子句由条件操作类型、条件关键字和条件值组成。条件操作类型和条件关键字在下文中会有详细描述。

是否满足条件的判断原则如下图所示。描述如下：(1) 一个条件关键字可以指定一个或多个值，在条件检查时，如果条件关键字的值与指定值中的某一个相等，即可判定条件满足。(2) 同一种条件操作类型的条件子句下的多个条件关键字同时满足的情况下，才能判定该条件子句满足。(3) 条件块下的所有条件子句同时满足的情况下，才能判定该条件块满足。

条件块判断逻辑:

条件操作类型

我们支持如下条件操作类型：字符串类型、数字类型、日期类型、布尔类型和IP地址类型。每种条件操作类型分别支持如下的方法：

String

• StringEquals
  
• StringNotEquals
  
• StringEqualsIgnoreCase
  
• StringNotEqualsIgnoreCase
  
• StringLike
  
• StringNotLike
  

Numeric

• NumericEquals
  
• NumericEquals
  
• NumericLessThan
  
• NumericLessThanEquals
  
• NumericGreaterThan
  
• NumericGreaterThanEquals
  

Date and time

• DateEquals
  
• DateNotEquals
  
• DateLessThan
  
• DateLessThanEquals
  
• DateGreaterThan
  
• DateGreaterThanEquals
  

Boolean

• Bool

IP address

• IpAddress
  
• NotIpAddress

条件关键字

阿里云保留的条件关键字命名格式为：

acs:<condition-key>

阿里云保留了如下通用条件关键字：

ACS保留条件关键字	类型	说明
acs:CurrentTime	Date and time	Web Server接收到请求的时间，以ISO 8601格式表示，如2012-11-11T23:59:59Z
acs:SecureTransport	Boolean	发送请求是否使用了安全信道，如HTTPS
acs:SourceIp	IP address	发送请求时的客户端IP地址
acs:MFAPresent	Boolean	用户登录时是否使用了多因素认证（二步认证）

部分产品定义了产品级别的条件关键字，格式如下：

<service-name>:<condition-key>

不同产品定义的条件关键字，请参见各产品的用户文档。

权限检查规则

基本模型

• 当主账号身份访问资源时，如果主账号是资源Owner，则允许访问；否则不允许访问。该规则的例外情况说明：存在极少数云产品（如SLS）直接支持对跨云账号ACL授权，如果通过ACL授权检查，则允许访问。
  
• 当RAM用户身份访问资源时，如果RAM用户所属的主账号对资源有访问权限，并且主账号对RAM用户有显式的Allow授权策略，则允许访问；否则不允许访问。
  
• 当RAM角色身份访问资源时，如果RAM角色所属的主账号对资源有访问权限，并且主账号对RAM角色有显式的Allow授权策略，并且角色访问令牌(STS-Token)有显式的授权，则允许访问；否则不允许访问。
  

RAM用户身份的授权策略检查逻辑

RAM用户访问资源时，默认没有任何权限，除非有进行显式的授权（给RAM用户绑定授权策略）。授权策略语句支持Allow(允许)和Deny(禁止)两种授权类型，当多个授权语句对一个资源操作分别出现Allow和Deny授权时，我们使用Deny优先的原则。

授权策略检查逻辑如下图所示：

RAM用户访问资源时，权限检查逻辑如下：

1. 按照RAM用户身份所绑定的授权策略是否有授权，如果是Deny，则拒绝访问；否则进入下一步检查。
   
2. 检查RAM角色所属的主账号是否有访问权限。如果是资源Owner，则允许访问；否则查看该资源是否有支持跨账号ACL许可，有则允许访问，否则拒绝访问。
   

RAM角色身份的授权策略检查逻辑

RAM角色（使用角色访问令牌）访问资源时，权限检查逻辑如下：

1. 如果当前访问令牌有指定授权策略（调用AssumeRole时所传入的授权策略参数），则按照上述授权策略检查逻辑进行判断，如果是Deny，则拒绝访问；否则进入下一步检查。 如果当前访问令牌没有指定授权策，则直接进入下一步检查。
   
2. 检查RAM角色身份所绑定的授权策略是否有授权。如果是Deny，则拒绝访问；否则进入下一步检查。
   
3. 检查RAM角色所属的主账号是否有访问权限。如果是资源Owner，则允许访问；否则查看该资源是否有支持跨账号ACL许可，有则允许访问，否则拒绝访问。
   

注：本文章摘抄于阿里云帮助文档，用来汇总起来方便自己查看。