User Authorization in a System with a Role-Based Access Control on the Basis of the Analytic Hierarchy Process
研究了基于角色的访问控制系统中用户的最优授权问题。主要标准是尽量减少许可泄露的风险。授权角色的选择是基于层次分析法。给出了形成第一级层次结构的标准选择的具体化。提出了一种基于角色图的量化特征,不依赖于专家主观评价的权重系数计算算法。计算了算法的复杂度,并讨论了算法的可扩展性.
2018-12-20 cs.CR
Severity Level of Permissions in Role-Based Access Control
基于角色的访问控制对信息泄漏隐藏渠道的分析包括对用户之间的过度权限的监控。完全消除冗余并不总是可能的。为了确定最重要的权限,出现了权限排名的问题,对于这些权限,冗余是最不可取的。反映权限的值或重要性的数字特征称为“严重性级别”。已经制定了一些启发式的假设,使之有可能建立的依赖关系的严重性级别的权限的结构上的角色层次结构。提出了一种解决问题的方法,采用层次分析法,并考虑到这些假设。其主要思想是将流程的决策树作为角色图。
2018-12-29 cs.CR
The Equivalent Conversions of the Role-Based Access Control Model
在一个大型信息系统(LIS)的访问控制策略的有效运作是重要的问题。提出了基于角色的访问控制模型局部优化的一般概念。提出了优化准则。定义了RBAC模型的局部优化算法,并证明了算法的合理性。所开发的算法用于解决以下问题的方法:RBAC策略中权限泄漏的风险评估,分布式层次系统中的访问控制,基于角色和强制访问控制模型的结合。在第一个问题中,研究了角色层次中的权限分配问题。层次分析法(AHP)被应用到创建的估计。该方法是基于角色集的层次结构。所提供的技术可以根据权限泄漏的风险值对权限进行排序。在第二个问题中,提供了具有对象的分层布置的系统中的密码密钥的分布的算法。为该算法的实际应用定义了密码协议。制定的基础上开发的算法的访问控制的自由裁量权和强制性原则的实施条件。
2018-12-23 cs.CR
Security Constraints in Temporal Role-Based Access-Controlled Workflows (Extended Version)
工作流和基于角色的访问控制模型需要适当地合并,以便允许用户根据给定的数据访问策略和时间约束以正确的方式执行流程。给出了工作流模型与不确定性的简单时态网络之间的映射,讨论了角色时态与简单时态网络之间的映射,以及如何将两个结果网络连接起来,以明确谁可以做什么,什么时候。如果连接的网络仍然是可执行的,我们将展示如何计算每个任务的授权用户集。最后,我们定义了安全约束(以防止用户进行未经授权的操作)和安全约束传播规则(在运行时传播安全约束)。我们还提供了一个算法来检查一组传播规则是否安全,我们扩展了现有的执行算法,以考虑到这些新的安全方面。
2016-01-11 cs.CR
Model Checking Access Control Policies: A Case Study using Google Cloud IAM
创作访问控制策略具有挑战性,并且容易发生错误配置。访问控制策略必须无冲突。因此,管理员应该识别策略规范与其预期功能之间的差异,以避免违反安全原则。本文旨在说明如何形式化地验证访问控制策略。模型检验用于根据访问控制模型支持的策略验证访问控制属性。作者将谷歌的云身份和访问管理(IAM)作为案例研究,并遵循NIST的指导方针自动验证访问控制策略。使用模型检验的自动验证可以作为一种有价值的工具,帮助管理员评估访问控制策略的正确性。这使得能够检查违反安全原则的情况,并执行策略的安全评估以实现合规性目的。作者演示了如何定义Google的IAM底层基于角色的访问控制(RBAC)模型,指定其支持的策略,并通过三个示例正式验证一组属性。
2023-03-29 cs.CR
Function-Based Access Control (FBAC): From Access Control Matrix to Access Control Tensor
安全研究人员指出,当前访问控制实现背后的核心概念早于互联网。提出这些主张是为了指出这一领域存在基础性差距,人们应该考虑从头开始重新审视这些概念。此外,内部威胁,这是一个越来越多的威胁向量对组织也与访问控制的失败。从访问控制矩阵中导出的访问控制模型包含主体、对象和操作三组实体。通常,对象被认为是文件,操作被认为是读、写和执行。这意味着在授予数据访问权限时采取“芝麻开门”的办法,即一旦授予访问权限,就不限制命令的执行。受功能加密的启发,我们建议以更细的粒度应用访问授权,但不是临时或计算上难以加密的方法,我们假设访问控制的基本转换。从抽象的角度来看,我们建议将访问授权存储为三维张量,我们称之为访问控制张量(ACT)。在基于功能的访问控制(FBAC)中,应用程序不给予盲折叠执行权限,只能调用已被授权的数据段的命令。换句话说,一个人可能被授权在一个对象上使用某个命令,而被禁止在另一个对象上使用完全相同的命令。本文介绍了FBAC的理论基础及其在政策、实施和实施(PEI)方面的要求,并重点分析了部署FBAC的优势、它将如何导致开发新一代应用程序以及与现有模型和系统的兼容性。最后给出了FBAC的概念验证实现。
2016-09-15 cs.CR
A Role-Based Encryption Scheme for Securing Outsourced Cloud Data in a Multi-Organization Context
针对现有基于角色的加密(RBE)方案仅适用于单组织云存储的局限,提出支持高效用户撤销的多组织RBE方案,引入外包解密机制降低终端开销,可证明抵御选择明文攻击且计算开销低。
2020-04-11 cs.CR
A Survey of Access Control Misconfiguration Detection Techniques
本文综述了通过数据挖掘、测试和验证检测访问控制错误配置的研究工作,并展望未来研究方向。
2023-04-16 cs.CR
Blockchain based access control systems: State of the art and challenges
访问系统资源。目前的访问控制系统面临着许多问题,如第三方的存在,效率低下,缺乏隐私。这些问题可以通过区块链来解决,区块链技术近年来受到了广泛关注,并且具有许多潜力。在这项研究中,我们概述了当前访问控制系统的问题,然后,我们解释了区块链如何帮助解决这些问题。我们还提出了一个访问控制的研究和建议在不同领域的平台的概述。本文介绍了基于区块链的访问控制系统的最新技术水平和挑战。
2019-08-22 cs.CR
A Policy Model and Framework for Context-Aware Access Control to Information Resources
在当今动态的信通技术环境中,控制用户获取资源的能力变得越来越重要。一方面,它应该适应用户不断变化的需求;另一方面,它不应该妥协。因此,必须有一个灵活的访问控制模型,结合动态变化的上下文信息。为此,本文介绍了一个上下文感知访问控制(CAAC)应用程序的策略框架,扩展了基于角色的访问控制模型与用户角色和角色权限能力的动态关联。我们首先提出了一个正式的模型CAAC政策,我们的框架。使用这个模型,然后介绍了一个基于本体的方法和软件原型建模和执行民航局的政策。此外,我们评估我们的策略本体模型和框架,考虑(i)本体概念的完整性,指定不同的上下文感知的用户角色和角色权限分配策略,从医疗保健场景;(ii)本体语义的正确性和一致性,通过医疗保健案例研究评估核心和特定领域的本体;以及(iii)通过响应时间来评估框架的性能。评估结果表明,我们的框架的可行性和量化的性能开销实现上下文感知的访问控制信息资源。
2017-03-07 cs.CR
ARBITER: AI-Driven Filtering for Role-Based Access Control
University of Turin(都灵大学);Reply Spike
ARBITER通过基于LLM的分层验证和角色感知检索,实现动态企业环境中高效的安全过滤。
2025-12-23 cs.CR
PML: An Interpreter-Based Access Control Policy Language for Web Services
访问控制是云等Web服务的重要组件。当前的云倾向于自己设计访问控制机制和策略语言。这导致两个问题:(i)云用户必须学习不同的策略语言以使用多种云,以及(ii)云服务提供商必须基于其业务需求定制授权机制,这带来了高开发成本。提出了一种新的访问控制策略语言PERM建模语言(PML),用于描述访问控制列表(ACL)、基于角色的访问控制(RBAC)和基于属性的访问控制(ABAC)等访问控制模型。PML的执行机制采用解释器对解释器的方式设计,不仅通过沙箱保护授权代码,而且还将PML扩展到所有支持Lua的程序设计语言。PML已经被实际项目采用,如Intel的RMD,VMware的Dispatch,Orange的Gobis等,这证明了PML的可用性。在OpenStack、CloudStack和Amazon Web Services(AWS)上的性能评估显示,PML的每个请求的执行开销低于5.9 us。
2019-03-23 cs.CR
Smart Contract-Based Access Control for the Internet of Things
本文研究了物联网(IoT)中的一个关键访问控制问题。特别是,我们提出了一个基于智能合约的框架,它包括多个访问控制合约(ACCs),一个判断合约(JC)和一个注册合约(RC),以实现分布式和可信的物联网系统的访问控制。每个ACC为一个主体-对象对提供一种访问控制方法,实现基于预定义策略的静态访问权验证和通过检查主体行为的动态访问权验证。JC通过接收来自ACC的不当行为报告、判断不当行为并返回相应的惩罚来实现不当行为判断方法,以促进ACC的动态验证。RC注册访问控制和不当行为判断方法的信息以及它们的智能合约,并且还提供功能(例如,注册、更新和删除)来管理这些方法。为了演示该框架的应用,我们在一个由一台台式计算机、一台笔记本电脑和两台Raspberry Pi单板计算机组成的物联网系统中进行了案例研究,其中基于以太坊智能合约平台实现了ACC、JC和RC,以实现访问控制。
2018-02-13 cs.CR
Greedy and Evolutionary Algorithms for Mining Relationship-Based Access Control Policies
基于身份验证的访问控制(ReBAC)提供了高级别的表现力和灵活性,可促进安全性和信息共享。我们制定ReBAC作为一个面向对象的扩展,基于属性的访问控制(ABAC),其中的关系表示使用字段,引用其他对象,和路径表达式被用来遵循对象之间的关系链。通过部分自动化根据现有访问控制策略和属性数据开发ReBAC策略,ReBAC策略挖掘算法有可能显着降低从传统访问控制系统迁移到ReBAC的成本。本文提出了两种从访问控制列表和表示为对象模型的属性数据中挖掘ReBAC策略的算法:一种是基于统计学的贪心算法,另一种是基于语法的进化算法。对四个样本策略和两个大型案例研究的算法评估表明了它们的有效性。
2018-08-21 cs.CR
A fine-grained policy model for Provenance-based Access Control and Policy Algebras.pdf
为了提高现有模型的表达性能,提出了一种细粒度的基于出处的访问控制策略模型。这种方法使用出处作为条件来确定一段数据是否可以被访问,因为对数据执行的历史操作可以揭示其敏感性和脆弱性的线索。特别是,我们提出的工作提供了一个四值的决策集,允许显示状态,以配合限制,特别是。该框架由目标策略、访问控制策略和策略代数组成。通过对细粒度访问控制策略的完整定义和代数体系的构建,提出了一个实用的细粒度访问控制策略模型。
2020-01-07 cs.CR
KRATOS: Multi-User Multi-Device-Aware Access Control System for the Smart Home
在灵巧家庭系统中,多个用户通常通过安装在移动终端上的专用应用程序来访问多个设备。传统的访问控制机制考虑一个唯一的可信用户来控制对设备的访问。然而,多用户多设备灵巧家庭设置对传统的单用户系统提出了根本不同的挑战。例如,在多用户环境中,用户对多个设备具有冲突的、复杂的和动态变化的需求,这不能由传统的访问控制技术来处理。为了解决这些挑战,在本文中,我们介绍Kratos,一种新的多用户和多设备感知访问控制机制,允许灵巧家庭用户灵活地指定他们的访问控制需求。Kratos有三个主要组件:用户交互模块、后端服务器和策略管理器。用户可以使用交互模块指定他们所需的访问控制设置,这些设置在后端服务器中被转换为访问控制策略。策略管理器分析这些策略并在用户之间发起协商以解决冲突的需求并生成最终策略。我们实现了Kratos,并评估了其在实际灵巧家庭部署中的性能,这些部署具有丰富的配置集(309种不同的策略,包括213种需求冲突和24种限制策略)。这些配置包括与访问控制机制相关的五种不同威胁。我们广泛的评估表明,Kratos是非常有效的解决冲突的访问控制需求,以最小的开销和强大的对不同的攻击。
2020-06-02 cs.CR
Managing Delegation in Access Control Models
在访问控制领域,委托是一个重要的方面,被认为是管理机制的一部分。因此,一个完整的访问控制必须提供一个灵活的管理模型来管理委托。不幸的是,据我们所知,没有一个完整的模型来描述基于角色的访问控制的所有委托要求。因此,建议的模型往往是扩展到考虑新的委托特性,这是一个复杂的任务,管理和必要的重新定义这些模型。在本文中,我们描述了一个新的委托方法扩展的基于角色的访问控制模型。我们表明,我们的方法是灵活的,足以管理所有的授权要求。
2010-12-13 cs.CR
DLACB: Deep Learning Based Access Control Using Blockchain
一般来说,深度学习模型可以极大地做出明智的决策。开发的模型主要基于集中式服务器,这面临着几个问题,包括透明度,可追溯性,可靠性,安全性和隐私性。在这项研究中,我们确定了一个分布式的基于自然的访问控制,可以解决这些问题的研究差距。创新技术区块链可以填补这一空白,并提供一个强大的解决方案。区块链的不可变性和分布式性质在医疗、金融和政府等各个领域设计了一个有用的框架,它还可以提供访问控制,而不是依赖于可信第三方访问资源的集中式方法。在现有的框架中,传统的访问控制方法是使用区块链开发的,它依赖于不可靠的预定义策略和权限。在这项研究中,我们提出了DLACB:使用区块链的基于深度学习的访问控制,它利用深度学习访问控制机制来确定用户对给定资源的权限。该框架对用户进行身份验证,并将访问请求记录在区块链上,以识别恶意用户。结果表明,该框架在所有可能的情况下都是正确的。
2023-03-26 cs.CR
Graph Model Implementation of Attribute-Based Access Control Policies
基于属性的访问控制(ABAC)承诺一个强大的方式来规范访问策略,以支持广泛的访问管理方案。ABAC的一般形式的有效实施仍然是一个挑战,特别是在解决支持社交和物联网网络爆炸性增长所需的隐私法规和访问管理的复杂性时。在本文中,我们介绍了一个图模型实现表示和评估访问策略,并说明了一个示例用例实现在Neo4图数据库。图数据库擅长查询连接数据,因此可以通过图遍历算法有效地评估复杂的策略。
2019-09-21 cs.CR
Multi-Authority Attribute-Based Access Control with Smart Contract
基于属性的访问控制根据主体的属性和访问策略做出访问控制决策,通过中介主体的操作来保护对象。权限是实现基于属性的访问控制的一个关键组成部分,它对主体的属性进行验证。在一个日益分散的社会中,主体所拥有的多种属性可能需要由多个不同的当局进行验证。提出了一种基于以太坊智能合约的多权限属性访问控制方案。在所提出的方案中,以太坊智能合约被创建来定义数据所有者、数据用户和多属性权威机构之间的交互。数据使用者将其属性呈现给不同的属性权威机构,在属性验证成功后,从各自的属性权威机构获取属性令牌。在收集到足够的属性令牌后,将执行智能合约以向数据用户发出秘密密钥来访问所请求的对象。用于基于多权限属性的访问控制的智能合约已在Solidity中进行了原型设计,并在Rinkeby以太坊测试网上对其性能进行了评估。
2019-09-16 cs.CR
Dynamic Modeling for Representing Access Control Policies Effect
在大型数据库中,创建用于浏览或执行数据的插入、删除或修改的用户界面在编程方面是非常昂贵的。此外,访问控制策略的每次修改都会导致许多潜在的和不可预测的副作用,这些副作用会导致规则冲突或安全漏洞,从而也会影响相应的用户界面。虽然数据库中访问控制策略的变化是不可避免的,但拥有一个根据最新访问控制策略生成接口的动态系统变得越来越有价值。缺乏这样一个系统会导致未经授权访问数据,并最终侵犯数据所有者的隐私。在这项工作中,我们讨论了一个动态的接口,适用于基于角色的访问控制(RBAC)的政策作为政策分析的输出,并限制了用户访问的信息量,根据为角色定义的政策。该界面还从用户的角度向安全管理员显示其更改的效果,同时通过自动生成界面来最小化成本。
2015-05-29 cs.CR
FreeBSD Mandatory Access Control Usage for Implementing Enterprise Security Policies
FreeBSD是第一个提供强制访问控制的自由操作系统。它支持许多经典的MAC模型。本教程介绍了如何利用此实现来实施各种复杂性的典型企业安全策略。
2007-06-12 cs.CR
POLARIS: Cross-Domain Access Control via Verifiable Identity and Policy-Based Authorization
Institute of Computing Technology, Chinese Academy of Sciences(中国科学院计算技术研究所);University of Chinese Academy of Sciences(中国科学院大学);Fuxi Institution(伏羲研究院);Center for Internet Governance, Tsinghua University(清华大学互联网治理研究中心)
本文提出POLARIS框架,解决传统访问控制在跨域场景中的身份分散、隐私泄露等问题,通过可验证身份和轻量级策略语言实现隐私保护和灵活授权。
2025-11-27 cs.CR
Enhancing NAC-ABE to Support Access Control for mHealth Applications and Beyond
针对NAC-ABE基于CP-ABE需预知访问策略的局限,提出NDN-ABE库扩展,支持mHealth等应用中数据生成时策略未知场景下的细粒度访问控制,并探讨部署挑战与开放问题。
2023-11-13 cs.CR
Decentralized User-Centric Access Control using PubSub over Blockchain
我们提出了一种机制,把用户的控制中心,并授权他们决定访问他们的数据集合。重新审视安全性中提供保护的基本机制,我们的解决方案使用能力、访问列表和访问权,这些都遵循理解良好的形式概念来推理访问。这一贡献提出了一种实用、正确、可审计、透明、分布式和去中心化的机制,与当前的新兴环境非常匹配,包括物联网、智慧城市、精准医疗和自动驾驶汽车。它基于分布式授权、加密货币和可扩展计算中使用的经过充分测试的原则和实践。
2017-09-29 cs.CR
Comparison of Access Control Approaches for Graph-Structured Data
本文针对图结构数据的细粒度访问控制,系统筛选并对比分析了多项保护属性图结构数据的研究,从基础模型、策略定义与执行等方面评估了它们的优势与局限。
2024-05-31 cs.CR
A secure solution on hierarchical access control
分级访问控制是信息安全中一个重要而传统的问题。2001年,Wu等人提出了一种通过安全过滤器实现分层访问控制的优雅解决方案。Jeng和Wang提出了Wu et. al.的方法。然而,安全过滤方法在动态访问控制中是不安全的。Lie,Hsu和Tripathy,Paul指出了安全过滤器上的一些安全漏洞,并提出了一些改进措施来消除这些安全缺陷。本文对Jeng-Wang方法中的安全过滤器进行了改进,提出了一种新的安全解决方案。CA是一个超级安全类(用户)在我们提出的方法和$u_i$在我们的解决方案的安全过滤器是一个多项式的次数$n_i+1$在$\mathbb{Z}_p^*$,$f_i(x)=(x-h_i)(x-a_1)...(x-a_{n_i})+L_{l_i}(K_i)$。虽然我们的安全过滤器的程度比其他解决方案大,我们的解决方案是安全和有效的动态访问控制。
2011-11-30 cs.CR
Extended Role Based Access Control with Blob Service on Cloud
基于角色的访问控制(RBAC)模型作为一种强大的通用安全管理方法和建模组织结构的能力以及减少管理费用的能力,在安全社区中引起了极大的兴趣。在本文中,我们突出了最新开发的RBAC模型在访问控制和授权方面的缺点,后来提供了一个更可行的扩展RBAC模型,增强和扩展其权力,使任何系统更安全,增加有价值的约束。之后,Blob存储在云服务器上,然后由最终用户通过此扩展的RBAC模型访问。
2013-11-30 cs.CR cs.DC
IPBAC: Interaction Provenance-Based Access Control for Secure and Privacy-Aware Systems
University of Alabama at Birmingham(阿拉巴马大学伯明翰分校)
IPBAC通过引入交互溯源技术,提升访问控制的安全性和可追溯性,以应对传统方法的不足。
2026-02-07 cs.CR
SMACS: Smart Contract Access Control Service
尽管基于区块链的智能合约承诺以“不信任”的方式执行协议,即使有金钱上的后果,但它们存在多种安全问题。其中许多问题可以通过有效的访问控制系统来缓解,然而,由于当前区块链平台的特性(如缺乏隐私,昂贵的链上资源或延迟),其实现具有挑战性。为了解决这个问题,我们提出了SMACS框架,其中可以以低成本实现智能合约的可更新和复杂的访问控制规则(ACR)。SMACS将昂贵的ACR验证和管理操作的负担转移到链下基础设施,同时仅在链上实现基于令牌的轻量级访问控制。SMACS非常灵活,除了简单的访问控制列表之外,还可以轻松实现增强智能合约运行时安全性的规则。借助由可靠性检测工具支持的专用ACR,SMACS可以在部署后保护易受攻击的合同。我们全面实施SMACS并对其进行评估。
2020-03-17 cs.CR
Deep Learning meets Blockchain for Automated and Secure Access Control
针对传统访问控制难以维护、依赖第三方且不透明的问题,提出DLACB框架,融合区块链与深度学习实现去中心化、自动化的访问控制,并验证其处理时间稳定高效。
2023-11-10 cs.CR
Policy Specification in Role based Access Control on Clouds
云计算是通过网络向客户提供的一组IT服务,这些服务由拥有基础设施的第三方提供商提供,并减轻了用户端的负担。目前研究人员致力于研究访问控制方法来提高云计算的安全性。RBAC是一种有吸引力的访问模型,因为角色的数量明显较少,因此可以很容易地根据角色对用户进行分类。基于角色的访问控制(Role-based Access Control,RBAC)模型提供了一种有效的信息访问管理方法,同时降低了大型网络应用的安全管理成本和复杂性。本文详细介绍了云环境下RBAC中的各种策略,如迁移策略,该策略可以帮助用户使用XML轻松地将数据库模式和角色迁移到云环境中,并且具有更高的安全性。限制策略通过限制每个用户的事务数量来增强基于角色的访问模型的安全性,如果事务数量增加,管理员将通过其监控系统了解已进行未经授权的访问,并且更容易对此类事件采取行动。本文提出了基于角色访问模型的备份和恢复策略,在主云崩溃或不能正常工作时,备份和恢复设施将可用,以避免重要数据的丢失。在这种情况下,数据丢失的机会非常少,所以在云计算上增强更多的安全性。
2013-08-23 cs.CR cs.DC
Fabric-SCF: A Blockchain-based Secure Storage and Access Control Scheme for Supply Chain Finance
供应链金融(SCF)致力于为信用额度低、融资规模小的中小企业提供信贷。由此产生的金融信用数据和相关的商业交易数据是高度机密和私人的。然而,传统的SCF管理方案大多采用第三方平台和集中式设计,无法实现高可靠的安全存储和细粒度的访问控制。为了填补这一空白,本文设计并实现了一个基于区块链和基于属性的访问控制(\textbf{ABAC})模型的安全存储和访问控制系统Fabric-SCF。该方案利用分布式共识实现数据的安全性、可追溯性和不变性。我们还使用智能合约来定义系统流程和访问策略,以确保系统的高效运行。为了验证Fabric-SCF的性能,我们设计了两组仿真实验。仿真结果表明,Fabric-SCF在保持高吞吐量的同时,实现了动态细粒度的访问控制。
2021-11-26 cs.CR
Making Access Control Easy in IoT
物联网(IoT)设备的安全安装需要为每个设备正确配置访问控制。为了实现正确的配置,互联网工程任务组(IETF)已经开发了制造商使用描述(MUD),以通过使用动态访问控制列表的微分段来自动保护物联网设备。该协议定义了一种概念上简单的方法,通过提供每个设备的每个授权访问的列表,在安装时实现访问控制。该访问控制列表可以包含用于每个设备的几个规则或数百个规则。因此,验证这些规则是一个挑战。为了使MUD标准更适用于开发人员,系统集成商和网络运营商,我们报告一个交互式系统称为MUD可视化,可视化的文件包含这些访问控制规则。我们表明,与手动分析不同,当使用MUD-Visualizer时,知识和经验的水平不会影响分析的准确性,这表明该工具对我们研究中所有知识和经验水平的参与者都有效。
2021-12-04 cs.CR
Semantic Access Control for Privacy Management of Personal Sensing in Smart Cities
个人和家庭传感器生成可用于智能城市的有价值的信息。不幸的是,通常情况下,这些数据被锁定,仅由应用程序/系统开发人员使用。虽然供应商是罪魁祸首,但人们也应该考虑数据访问的“二进制性质”。具体而言,当数据被“打开”时,所有者对她的数据具有完全控制(例如,在“封闭系统“中),或者她完全失去控制。在这种情况下,我们提出了一个语义技术为基础的,授权和隐私控制框架,使用户能够保持灵活的,但可管理的数据访问控制策略。所提出的方法进行了详细描述,包括实施和测试。
2021-01-08 cs.CR
Distributed Attribute-Based Access Control System Using a Permissioned Blockchain
审计通过跟踪所有访问尝试(包括合法和非法访问尝试),在计算机系统中提供了一种基本的安全控制。这一阶段对审计工作非常有用,因为在审计工作中,可以追究最终行为不端方的责任。区块链技术可以提供访问控制系统所需的可信可扩展性。在本文中,我们提出了一个分布式的\ac{ABAC}系统基于区块链提供可信审计的访问尝试。除了可扩展性,我们的系统还提供了一个访问请求者和资源所有者都可以从中受益的透明度。我们提出了一个基于Hyperledger Fabric的系统架构,实现了高效率和低计算开销。通过一个独立数字图书馆的使用案例对所提出的解决方案进行了验证。我们的实现的详细性能分析,考虑到不同的共识机制和数据库。实验结果表明,该系统可以处理5,000个访问控制请求,发送速率为每秒200个,延迟为0.3秒。
2020-06-08 cs.CR
Security theory for data flow and access control: From partial orders to lattices and back, a half-century trip
本文回顾了安全数据流与访问控制理论,指出基于偏序理论的Bell La Padula模型比盛行的格理论模型更合适,并展示了利用ABAC实现非格数据流网络的方法。
2025-09-12 cs.CR
Droplet: Decentralized Authorization and Access Control for Encrypted Data Streams
本文介绍了Droplet,一个分散的数据访问控制服务。Droplet使数据所有者能够安全地、有选择地共享他们的加密数据,同时在未经授权的各方和受损的数据服务器存在的情况下保证数据的机密性。Droplet的贡献在于结合了两个关键思想:(i)加密数据流的加密强制访问控制结构,使用户能够定义细粒度的特定于流的访问策略,以及(ii)为用户定义的访问策略提供服务的分散授权服务。在本文中,我们介绍了Droplet的设计,Droplet的参考实现,以及使用Droplet部署的三个案例研究应用程序的实验结果:Fitbit活动跟踪器,Ava健康跟踪器和ECOviz智能仪表板,展示了Droplet在物联网流安全共享方面的适用性。
2021-01-21 cs.CR
An Insider Threat Mitigation Framework Using Attribute Based Access Control
本文提出一种结合移动目标防御、欺骗和属性访问控制的内部威胁缓解框架,通过引入相关属性生成变异策略,在不影响系统可用性的前提下提高内部人员非授权访问的难度和成本。
2023-05-31 cs.CR
A Distributed Blockchain-based Access Control for the Internet of Things
针对传统集中式访问控制不适用于分布式物联网的问题,本文提出融合区块链与属性访问控制的DBC-ABAC模型,经Hyperledger平台实验验证,其在延迟和吞吐量上优于现有方案。
2025-03-22 cs.CR
PolyScope: Multi-Policy Access Control Analysis to Triage Android Scoped Storage
Android的文件系统访问控制是其系统完整性的关键方面。它结合了强制访问控制(如SELinux)和自主访问控制(如Unix权限),以及专门的访问控制(如Android权限),以保护OEM和Android服务免受第三方应用程序的影响。然而,当OEM引入差异化功能时,由于无法正确重新配置这种复杂的策略组合,他们通常会产生漏洞。为了解决这个问题,我们引入了POLYSCOPE工具,它可以对Android文件系统访问控制策略进行分类,以识别攻击操作-授权操作,这些操作可能会被对手利用来提升他们的权限。POLYSCOPE有三个显着的优势,比以前的分析:它允许独立的扩展和分析的个别政策模型,了解的灵活性不受信任的各方在修改访问控制策略,并可以识别系统配置允许的攻击操作。我们通过检查作用域存储对Android的影响来证明POLYSCOPE的有效性,揭示它将外部存储资源上可能的攻击操作数量减少了50%以上。然而,由于OEM仅部分采用了范围存储,我们还发现了两个以前未知的漏洞,展示了POLYSCOPE如何评估所有应用程序都符合范围存储的理想场景,这可以将OEM系统上访问攻击操作的不受信任方的数量减少65%以上。因此,POLYSCOPE可以帮助Android OEM评估复杂的访问控制策略,以确定需要进一步检查的攻击操作。
2023-02-28 cs.CR
Relationship-Based Access Control for OpenMRS
受社会网络系统访问控制模型的启发,最近提出了一种基于授权的访问控制(ReBAC),它是一种通用的应用领域访问控制范例,在这种应用领域中,授权必须考虑访问请求者和资源所有者之间的关系。医疗保健领域被设想为其中迫切需要ReBAC的典型应用领域:例如,我的病历应该只有我的家庭医生才能看到,而不是所有的医生都能看到。在这项工作中,我们首次证明了ReBAC可以被纳入到一个生产规模的医疗记录系统,OpenMRS,与传统的RBAC机制向后兼容。具体来说,我们扩展了OpenMRS的访问控制机制,以执行ReBAC策略。我们的扩展包含并扩展了Crampton和Sellwood最近提出的高级ReBAC功能。此外,我们设计并实现了ReBAC的第一个管理模型。在本文中,我们描述了我们的ReBAC实施,讨论了系统工程的经验教训,因此,并评估我们所进行的实验工作。特别是,我们比较了我们实现的各种授权方案的性能,从而证明了ReBAC的可行性。
2015-03-20 cs.CR
An Extended Consent-Based Access Control Framework: Pre-Commit Validation and Emergency Access
Institut national de la recherche scientifique (INRS)(国家科学研究院)
本文提出一种扩展的基于同意的访问控制框架,通过预提交验证和紧急访问机制,提升医疗系统中患者自主权的保障与冲突解决效率。
2026-03-07 cs.CR
Law-Aware Access Control and its Information Model
对市场信息、战略信息或客户相关信息等各种数据的跨境访问定义了包括金融机构在内的许多全球公司的日常业务。这些公司有法律义务为所有提供的服务保持数据处理合法。它们需要实现立法规定的不同安全目标。因此,它们控制访问以防止未经授权的用户使用数据。这些安全目标,例如机密性或保密性,通常在可扩展访问控制置标语言中定义,以促进不同系统之间的互操作性。在本文中,我们将立法的要求纳入访问控制的必要性。基于银行场景中的工作流程,我们描述了各种可用的上下文信息及其相互关系。与其他访问控制系统不同,我们的主要重点是符合法律的跨境数据访问。通过将立法直接纳入获取信息的决定,可以确保这种合法性。我们还描述了我们的信息模型,以展示如何将这些策略实施到现有的网络中,以及组件和上下文信息如何相互关联。最后,我们概述了一个事件流的请求,从一个远程用户举例说明这样的系统如何决定访问。
2010-06-23 cs.CR
A Decision Tree Learning Approach for Mining Relationship-Based Access Control Policies
基于规则的访问控制(ReBAC)提供了高水平的表现力和灵活性,通过允许以实体之间的关系链来表达策略,从而促进安全性和信息共享。ReBAC策略挖掘算法有可能通过部分自动化ReBAC策略的开发来显著降低从传统访问控制系统迁移到ReBAC的成本。提出了一种基于决策树的新算法DTRM(决策树ReBAC Miner)和DTRM $^-$,用于从访问控制列表和实体信息中挖掘ReBAC策略。与最先进的ReBAC挖掘算法相比,我们的算法明显更快,实现了相当的策略质量,并且可以用更丰富的语言挖掘策略。
2020-05-12 cs.CR
Decentralized Policy Information Points for Multi-Domain Environments
已经开发了访问控制模型来控制对敏感资源的授权访问。这种访问控制非常重要,因为现在需要在多个组织之间通过互联网等开放环境进行协作资源共享。虽然有多种访问控制模型被广泛使用,但这些模型都是在封闭的环境中提供访问控制,即在使用它的组织内提供访问控制。这些模型在开放环境中提供访问控制的能力有限。基于属性的访问控制(ABAC)已经成为一个强大的访问控制模型,为拥有敏感数据和资源并希望在开放环境中进行协作的组织提供细粒度的授权。在ABAC系统中,可以通过对用户的属性应用策略来控制对组织拥有的资源的访问。这些策略是请求者为了获得对资源的访问权而需要满足的条件。本文介绍了ABAC的基本概念,并在继承ABAC体系结构的基础上,提出了一种分布式策略信息点模型。我们的模型提出了分散的PIP,这是一个实体的ABAC模型,允许存储和查询的用户属性和执行细粒度的访问控制控制敏感资源的访问多个域。我们的模型利用了一个加密原语的概念,称为基于属性的签名(ABS),以保持用户的身份参与,私人。我们的模型可以用于在互联网上的协作资源共享。我们的模型的评价也进行了讨论,以反映所提出的分散PIP模型的应用。
2021-08-19 cs.CR
Access Control Synthesis for Physical Spaces
办公楼和机场等物理空间的电子控制要求最好从系统范围要求的全局角度来制定。例如,“每个房间都有一条经过授权的通道可以离开大楼。相反,单个访问控制组件(如门和旋转栅门)只能执行本地策略,指定组件何时可以打开。在实践中,系统范围的全局需求和许多本地策略之间的差距是手动弥合的,这是繁琐的,容易出错的,并且可伸缩性差。我们提出了一个框架,自动综合本地访问控制策略,从一组全球性的要求,物理空间。我们的框架包括一个表达语言来指定全球的要求和物理空间,和一个算法,用于合成本地的,基于属性的政策,从全球规范。我们实证证明了三个实质性的案例研究框架的有效性。研究表明,访问控制综合是实用的,即使是复杂的物理空间,如机场,有许多相互关联的安全要求。
2016-05-05 cs.CR
Lambda-RBAC: Programming with Role-Based Access Control
我们研究的机制,允许程序组件来表达对客户端的角色约束,专注于编程的安全机制,允许访问控制来表达,在原地,作为代码实现基本功能的一部分。在这种情况下,两个问题立即出现:(1)组件的用户面临的安全问题:是一个特定的角色足以使用该组件?(2)组件设计者面临双重保护问题:组件的所有执行路径都需要特定的角色吗?我们提供了一个正式的演算和静态分析来回答这两个问题。
2008-01-09 cs.CR cs.PL
A Study of Semi-Fungible Token based Wi-Fi Access Control
针对现有Wi-Fi认证的安全、隐私及成本问题,提出基于区块链智能合约和ERC1155半同质化令牌的访问控制方案,显著降低运营成本与认证时间。
2025-05-24 cs.CR
Access control for Data Spaces
针对数据空间中细粒度访问控制的挑战,本文设计实现了支持策略持续评估、数据语义感知及事件订阅的机制,提出集中存储策略并基于W3C可验证凭证扩展数据所有者自主策略管理点的架构。
2025-04-18 cs.CR
KRB-CCN: Lightweight Authentication & Access Control for Private Content-Centric Networks
以内容为中心的网络(CCN)是一种互联网络范式,为当今基于IP的互联网架构提供了一种替代方案。CCN强调可寻址的命名内容,而不是关注主机及其位置。通过将内容与其位置分离,CCN允许机会性网络内内容缓存,从而实现更好的网络利用率,至少对于可扩展的内容分发。但是,为了得到认真考虑,CCN必须支持基本的安全服务,包括内容真实性,完整性,机密性,授权和访问控制。当前的方法依赖于内容生产者来执行授权和访问控制。这种一般方法有几个缺点。第一,消费者的隐私与生产者的隐私没有得到保护。其次,身份管理和访问控制对生产者施加了很高的计算开销。此外,必须为每个内容请求做出不必要的重复认证和访问控制决策。这些问题促使我们设计KRB-CCN-一个完整的授权和访问控制系统的私人CCN。KRB-CCN受到基于IP的网络中身份验证的启发,涉及不同的身份验证和授权机构。通过这样做,KRB-CCN消除了生产者做出消费者身份验证和访问控制决策的需要。KRB-CCN保护消费者隐私,因为生产者不知道消费者的身份。生产者也不需要保持任何硬状态,只需要执行两个对称密钥操作,以保证敏感内容仅机密地传递给经过身份验证和授权的消费者。最重要的是,与现有设计不同,KRB-CCN离开网络(即,CCN路由器)的任何授权,访问控制或机密性问题。我们描述KRB-CCN的设计和实现,分析其安全性,并报告其性能。
2018-04-11 cs.CR
Enforcing Access Control in Distributed Version Control Systems
State Key Laboratory of Information Security, Institute of Information Engineering, CAS(信息安全国家重点实验室,信息工程研究所,中国科学院);Data Assurance and Communication Security Research Center, Chinese Academy of Sciences(数据保障与通信安全研究中心,中国科学院);School of Cyber Security, University of Chinese Academy of Sciences(网络安全学院,中国科学院大学)
针对分布式版本控制系统(DVCS)访问控制方案不适配的问题,提出分布式访问控制方案Disac,采用ABE和ABS实现权限控制,可轻松集成到Git客户端。
2026-08-04 cs.CR
Mining Attribute-based Access Control Policies
基于属性的访问控制(ABAC)提供了高度的灵活性,可促进安全性和信息共享。ABAC策略挖掘算法有可能显著降低迁移到ABAC的成本,通过部分自动化从访问控制列表(ACL)策略或基于角色的访问控制(RBAC)策略与附带的属性数据开发ABAC策略。提出了一种基于ABAC的策略挖掘算法。据我们所知,它是第一个ABAC策略挖掘算法。我们的算法迭代元组在给定的用户权限关系,使用选定的元组作为种子构建候选规则,并试图概括每个候选规则,以覆盖额外的元组在用户权限关系中的属性表达式中的约束条件,取代合取。我们的算法试图通过合并和简化候选规则来改进策略,然后选择最高质量的候选规则包含在生成的策略中。
2014-08-07 cs.CR
Towards a Uniform Framework for Dynamic Analysis of Access Control Models
越来越多地通过强制性访问控制系统来执行安全关键系统要求。这些系统由安全策略控制,高度敏感的系统组件,强调了正式验证的安全属性对策略正确性的至关重要性。对于安全属性类,解决潜在的动态权限增殖,已经存在许多已知的和经过测试的形式化分析方法和工具。不幸的是,这些方法需要针对来自广泛的不同应用程序域的每个特定策略从头开始重新设计。在本文中,我们试图减轻这个问题,提出了一个统一的形式化框架,量身定制的安全分析算法,为特定的应用领域。我们提出了一个实用的工作流程,基于模型的知识,这是能够产生一个有意义的正式的安全定义,以及一个算法来分析,安全。我们的方法是基于SELinux操作系统的安全策略。关键词:安全工程,安全策略,访问控制系统,访问控制模型,安全,启发式分析,SELinux。
2017-06-12 cs.CR