基于量化属性的云访问控制

云存储平台的量化属性访问控制模型

摘要

近年来,云计算是信息技术领域最主要的研究方向之一。同时,云计算安全成为一个重要的挑战。现有的访问控制模型在模型元素的细粒度和动态性方面表现较差,导致云计算中资源的安全性受到限制。本文提出了一种基于量化属性的访问控制(QABAC)模型。定义了量化属性和信任度的概念,提出了三种属性量化函数用于动态计算,并获得访问的安全度。最终授权策略根据信任度决定最终权限。与其他传统模型相比,QABAC具有灵活性、可扩展性和动态性。它不仅能保护资源免受网络潜在攻击的安全威胁,还具备满足实际应用中性能需求的能力。

关键词 :访问控制 Dynamic授权 Cloud计算安全

1 引言

云计算是一种新兴的计算范式。它以互联网为中心,提供存储、计算和通信等所有资源作为服务。云计算是能力与创新技术的独特结合[1],能够为不断增长的数据和服务提供可扩展且强大的环境,并通过无处不在且低成本的平台充分利用每台计算机的计算资源。同时,它可以减轻客户端在管理和维护方面的负担。因此,它很快吸引了大量研究人员和企业的关注。

安全是采用云计算面临的主要挑战之一。云存储平台安全中的三个主要问题如下。(1) 数据库所有者的控制能力有限。(2) 访问权限将随时间[2]调整。(3) 因此,数据面临隐私和未授权访问等问题[3]。

因此,应将访问控制(AC)引入云计算中,以通过访问策略[4]保护敏感数据。访问控制模型的研究始于上个世纪70年代,最初用于大型计算机访问授权管理中的数据共享。基于角色的访问控制(RBAC)模型是传统访问控制模型中最经典的模型之一[5]。随后,用户属性、对象属性和环境属性等属性被引入到模型中,提出了基于任务的访问控制(TBAC)[6, 7]和基于动作的访问控制(ABAC)[8]等新型访问控制模型。

该模型主要在两个方面进行了改进,即模型元素和可靠性计算。(1)扩展传统访问控制模型。将新的模型元素引入模型中,用于补充主体和客体的属性。(2)提出了三种映射函数。将属性的值映射为具有统一计量标准的数值,进一步利用这些数值评估用户行为的置信区间。

本文其余部分组织如下。第2节详细介绍QABAC模型及授权过程。第3节分析了我们的模型,并展示了其在云存储平台中的性能。第4节总结了该方法。

2 我们的访问控制模型

示意图0

2.1 模型基本元素

QABAC模型从主体和客体的角度全面限制访问,可表示为QABAC = {U; R; O; 操作; OPC}。

主体(U) :数据资源请求者。U = {用户1;用户2;…用户n},每个用户由其相关属性定义,并通过用户ID进行标识。

角色(R) :由具有相同身份属性的用户组成的集合。

客体(O) :云存储平台提供的服务,如存储、计算和通信。

环境(E) :一个集合,包含主体的网络环境和终端平台信息。

日历(C) :日历用于描述时间,它是一个无限的周期性连续时间集合,例如小时、天、月和年[9]。

时间(T) :给定一组日历C1…Cn。相应的时间可被n定义为 T = ΣCi。r ≥ Cd。点号前面的部分表示开始时间,后面的部分表示持续时间。

操作(操作) :主体与客体之间的一种关系。该元素用符号表示为 操作 = R × E × T。

操作类型 (OPC) :用户将以不同方式操作资源。操作类型由以下公式定义。Opc = {read, write, delete, update}。

2.2 映射规则

通过角色和访问客体对用户进行授权限制。定义相应的映射规则以关联不同元素。

权限分配(PA) :权限与角色、操作和操作类型这三个要素之间的关系。对应的映射函数为(1)。

$$
P_{assigned}(r) = { p \in P | (p, \text{role}, \text{action}, \text{opc}) \in PA } \quad (1)
$$

用户属性映射(UAM) :用户与属性之间的一对多映射关系。角色属性的内容通过映射函数映射为某个值,如(2)所示。

$$
AttrMap_{uattr} = (\forall attr \in Attr | (u, attr) \in UAM) \quad (2)
$$

环境属性映射(EAM) :环境与属性之间的一对多映射关系,环境属性的内容被映射为一个数值。对应的映射函数为(3)。

$$
AttrMap_{eattr} = (\forall attr \in Attr | (e, attr) \in EAM) \quad (3)
$$

时间属性映射(TAM) :时间与属性之间的一对多映射关系,环境属性的内容被映射为某个值。对应的映射函数为(4)。

$$
AttrMap_{tattr} = (\forall attr \in Attr | (t, attr) \in TAM) \quad (4)
$$

2.3 属性量化

量化属性 :根据映射函数,将用户属性域的值转换为数值,并将这些数值输入信任计算函数以计算用户信任[10]。用户和操作的信任计算函数如(5)和(6)所示。

$$
qty_U(U_{attr}) = \sum_{i=1}^{n} w_i V(u_{attr_i}) \quad (5)
$$

$$
qty_A(A_{attr}, t) = \sum_{i=1}^{n} w_i V(u_{attr_i}) + \sum_{j=1}^{m} w_j V(e_{attr_j}) + \sum_{k=1}^{z} w_k V(t_{attr_k}) \quad (6)
$$

其中,$V(e_{attr_j})$ 是环境属性的值,$V(t_{attr_k})$ 是时间属性的值,$w_j$ 和 $w_k$ 分别是相应属性的权重。t 表示计算时刻。

最终信任 :最终信任的计算基于这两类属性的评估结果,且最终信任的计算函数定义为(7)。

$$
c(U_{attr}, A_{attr}, t) = qty_U \times qty_A \quad (7)
$$

权限授予 :访问控制模型根据动态授权策略确定用户访问的权限。如果用户访问的安全级别高于对资源文件执行该类型操作所需的最低安全级别,则允许访问,否则将拒绝访问[11]。

3 安全分析与性能评估

QABAC模型使用C++语言实现。实验在配备3.3 GHz和4G内存的英特尔酷睿4处理器上,基于Windows 7系统运行。本文共包含五组数据,每组含有一万次访问。图2显示了随着访问次数增加的授权时间趋势。显然,访问时间呈现出线性增长趋势,并且能够同时处理千万级访问的授权。

示意图1

QABAC和RBAC模型用于授予这些访问行为的权限,两种模型的正确率通过 (8) 计算。

$$
C = \frac{n}{N} \quad (8)
$$

其中,$C$ 是正确率,$n$ 表示正确授权的访问次数,正确授权包括允许合法访问和拒绝非法访问两种情况,$N$ 是总访问次数。

图3显示了两种模型之间的授权正确率,其中x轴表示访问行为的数量,y轴表示授权正确率。随着访问行为数量的增加,QABAC接近真实准确率,且明显高于RBAC模型。

4 结论

本文提出了一种面向云计算的访问控制模型。该模型利用角色和任务原则,使权限分配更加动态和便捷。将时间与环境引入模型元素中,并定义了相应的属性。设计了包含类别和值的这些元素。通过动态量化函数计算每次访问的结果,将这些访问划分为不同的安全级别。实验证明,它可以满足云计算中的访问控制要求。

基于51单片机,实现对直流电机的调速、测速以及正反转控制。项目包含完整的仿真文件、源程序、原理图和PCB设计文件,适合学习和实践51单片机在电机控制方面的应用。 功能特点 调速控制:通过按键调整PWM占空比,实现电机的速度调节。 测速功能:采用霍尔传感器非接触式测速,实时显示电机转速。 正反转控制:通过按键切换电机的正转和反转状态。 LCD显示:使用LCD1602液晶显示屏,显示当前的转速和PWM占空比。 硬件组成 主控制器:STC89C51/52单片机(与AT89S51/52、AT89C51/52通用)。 测速传感器:霍尔传感器,用于非接触式测速。 显示模块:LCD1602液晶显示屏,显示转速和占空比。 电机驱动:采用双H桥电路,控制电机的正反转和调速。 软件设计 编程语言:C语言。 开发环境:Keil uVision。 仿真工具:Proteus。 使用说明 液晶屏显示: 第一行显示电机转速(单位:转/分)。 第二行显示PWM占空比(0~100%)。 按键功能: 1键:加速键,短按占空比加1,长按连续加。 2键:减速键,短按占空比减1,长按连续减。 3键:反转切换键,按下后电机反转。 4键:正转切换键,按下后电机正转。 5键:开始暂停键,按一下开始,再按一下暂停。 注意事项 磁铁和霍尔元件的距离应保持在2mm左右,过近可能会在电机转动时碰到霍尔元件,过远则可能导致霍尔元件无法检测到磁铁。 资源文件 仿真文件:Proteus仿真文件,用于模拟电机控制系统的运行。 源程序:Keil uVision项目文件,包含完整的C语言源代码。 原理图:电路设计原理图,详细展示了各模块的连接方式。 PCB设计:PCB布局文件,可用于实际电路板的制作。
【四旋翼无人机】具备螺旋桨倾斜机构的全驱动四旋翼无人机:建模与控制研究(Matlab代码、Simulink仿真实现)内容概要:本文围绕具备螺旋桨倾斜机构的全驱动四旋翼无人机展开研究,重点进行了系统建模与控制策略的设计与仿真验证。通过引入螺旋桨倾斜机构,该无人机能够实现全向力矢量控制,从而具备更强的姿态调节能力和六自由度全驱动特性,克服传统四旋翼欠驱动限制。研究内容涵盖动力学建模、控制系统设计(如PID、MPC等)、Matlab/Simulink环境下的仿真验证,并可能涉及轨迹跟踪、抗干扰能力及稳定性分析,旨在提升无人机在复杂环境下的机动性与控制精度。; 适合人群:具备一定控制理论基础和Matlab/Simulink仿真能力的研究生、科研人员及从事无人机系统开发的工程师,尤其适合研究先进无人机控制算法的技术人员。; 使用场景及目标:①深入理解全驱动四旋翼无人机的动力学建模方法;②掌握基于Matlab/Simulink的无人机控制系统设计与仿真流程;③复现硕士论文级别的研究成果,为科研项目或学术论文提供技术支持与参考。; 阅读建议:建议结合提供的Matlab代码与Simulink模型进行实践操作,重点关注建模推导过程与控制器参数调优,同时可扩展研究不同控制算法的性能对比,以深化对全驱动系统控制机制的理解。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值