English
Related papers

Related papers: Reachability Analysis for Attributes in ABAC with …

200 papers

Relationship-based access control (ReBAC) provides a high level of expressiveness and flexibility that promotes security and information sharing. We formulate ReBAC as an object-oriented extension of attribute-based access control (ABAC) in…

Cryptography and Security · Computer Science 2018-08-23 Thang Bui , Scott D. Stoller , Jiajie Li

Cloud Computing is a set of IT Services that are provided to a customer over a network and these services are delivered by third party provider who owns the infrastructure and reduce the burden at user's end. Nowadays researchers devoted…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-08-26 Gitanjali , Sukhjit Singh Sehra , Jaiteg Singh

Inspired by the access control models of social network systems, Relationship-Based Access Control (ReBAC) was recently proposed as a general-purpose access control paradigm for application domains in which authorization must take into…

Cryptography and Security · Computer Science 2015-03-23 Syed Zain Rizvi , Philip W. L. Fong , Jason Crampton , James Sellwood

Future smart cities and intelligent world will have connected vehicles and smart cars as its indispensable and most essential components. The communication and interaction among such connected entities in this vehicular internet of things…

Cryptography and Security · Computer Science 2019-08-23 Maanak Gupta , James Benson , Farhan Patwa , Ravi Sandhu

With increasing emphasis on transparency in digital governance, users expect more than silence when their access requests are denied by a system. However, authorization methods are notorious for their inability to provide any form of…

Cryptography and Security · Computer Science 2026-04-15 Shanampudi Pranaya Chowdary , Shamik Sural

Role mining tackles the problem of finding a role-based access control (RBAC) configuration, given an access-control matrix assigning users to access permissions as input. Most role mining approaches work by constructing a large set of…

Cryptography and Security · Computer Science 2013-01-08 Mario Frank , Joachim M. Buhmann , David Basin

Critical energy infrastructures increasingly rely on information and communication technology for monitoring and control, which leads to new challenges with regard to cybersecurity. Recent advancements in this domain, including…

Cryptography and Security · Computer Science 2026-03-25 Moritz Gstür , Gustav Keppler , Mohammed Ramadan , Ghada Elbez , Veit Hagenmeyer

One of the most widespread framework for the management of access-control policies is Administrative Role Based Access Control (ARBAC). Several automated analysis techniques have been proposed to help maintaining desirable security…

Cryptography and Security · Computer Science 2010-12-30 A. Armando , S. Ranise

Personalization and adaptation to the user profile capability are the hottest issues to ensure ambient assisted living and context awareness in nowadays environments. With the growing healthcare and wellbeing context aware applications,…

Cryptography and Security · Computer Science 2013-02-12 Meriem Zerkouk , Abdallah Mhamed , Belhadri Messabih

Access control policies are used to restrict access to sensitive records for authorized users only. One approach for specifying policies is using role based access control (RBAC) where authorization is given to roles instead of users. Users…

Cryptography and Security · Computer Science 2015-03-27 Khair Eddin Sabri

Traditional access control systems, including RBAC, face significant limitations such as inflexible role definitions, difficulty handling dynamic scenarios, and lack of detailed accountability and traceability. To this end, we introduce the…

Cryptography and Security · Computer Science 2026-02-17 Sharif Noor Zisad , Ragib Hasan

Over the years, access control systems have become increasingly more complex, often causing a disconnect between what is envisaged by the stakeholders in decision-making positions and the actual permissions granted as evidenced from access…

Cryptography and Security · Computer Science 2026-03-17 Gautam Kumar , Ravi Sundaram , Shamik Sural

Role Based Access Control (RBAC) is a very popular access control model, for long time investigated and widely deployed in the security architecture of different enterprises. To implement RBAC, roles have to be firstly identified within the…

Cryptography and Security · Computer Science 2015-03-20 Carlo Blundo , Stelvio Cimato

Attribute-based Access Control (ABAC) extends traditional Access Control by considering an access request as a set of pairs attribute name-value, making it particularly useful in the context of open and distributed systems, where security…

Cryptography and Security · Computer Science 2013-06-21 Andreas Griesmayer , Charles Morisset

As multi-robot systems continue to advance and become integral to various applications, managing conflicts and ensuring secure access control are critical challenges that need to be addressed. Access control is essential in multi-robot…

Robotics · Computer Science 2023-09-01 Salma Salimi , Farhad Keramat , Tomi Westerlund , Jorge Peña Queralta

In recent years, Attribute-Based Access Control (ABAC) has become quite popular and effective for enforcing access control in dynamic and collaborative environments. Implementation of ABAC requires the creation of a set of attribute-based…

Cryptography and Security · Computer Science 2021-11-16 Varun Gumma , Barsha Mitra , Soumyadeep Dey , Pratik Shashikantbhai Patel , Sourabh Suman , Saptarshi Das

The COVID-19 crisis has demonstrated the potential of cutting-edge genomics research. However, privacy of these sensitive pieces of information is an area of significant concern for genomics researchers. The current security models makes it…

Cryptography and Security · Computer Science 2022-04-15 David Reddick , Justin Presley , F. Alex Feltus , Susmit Shannigrahi

Despite significant progress in the theory and practice of program analysis, analysing properties of heap data has not reached the same level of maturity as the analysis of static and stack data. The spatial and temporal structure of stack…

Programming Languages · Computer Science 2013-04-25 Uday Khedker , Amitabha Sanyal , Amey Karkare

The switch-like character of gene regulation has motivated the use of hybrid, discrete-continuous models of genetic regulatory networks. While powerful techniques for the analysis, verification, and control of hybrid systems have been…

Quantitative Methods · Quantitative Biology 2016-08-14 Grégory Batt , Delphine Ropers , Hidde De Jong , Michel Page , Johannes Geiselmann

In attribute-based access control, users with certain verified attributes will gain access to some particular data. Concerning with privacy of the users' attributes, we study the problem of distributed attribute-based private access control…

Information Theory · Computer Science 2022-02-11 Amir Masoud Jafarpisheh , Mahtab Mirmohseni , Mohammad Ali Maddah-Ali