scholarly journals Automated verification of role-based access control security models recovered from dynamic web applications

2012 ◽  
Author(s):  
Manar H. Alalfi ◽  
James R. Cordy ◽  
Thomas R. Dean
Keyword(s):  
Access Control ◽  
Web Applications ◽  
Automated Verification ◽  
Role Based Access Control ◽  
Security Models ◽  
Dynamic Web ◽  
Role Based

scholarly journals Types for Role-Based Access Control of Dynamic Web Data

2011 ◽  
pp. 1-29 ◽  
Author(s):  
Mariangiola Dezani-Ciancaglini ◽  
Silvia Ghilezan ◽  
Svetlana Jakšić ◽  
Jovanka Pantović
Keyword(s):  
Access Control ◽  
Role Based Access Control ◽  
Web Data ◽  
Dynamic Web ◽  
Role Based

scholarly journals Using formal security models in secure databases

2021 ◽  
pp. 70-74
Author(s):  
Vladislav Vilihura ◽  
Yuriy Gorbenko ◽  
Vitaliy Yesin ◽  
Serhiy Rassomakhin
Keyword(s):  
Access Control ◽  
Specific Situation ◽  
Role Based Access Control ◽  
Security Model ◽  
Access Control Models ◽  
Control Models ◽  
Security Models ◽  
Role Based ◽  
The Right ◽  
Secure Databases

The paper contains key provisions (requirements) that should be followed when building secure databases using the capabilities of the main formal access control models, such as discretionary access control models, mandatory access control models, role-based access control models. At the same time, it is noted that any security model does not provide protection but only provides the principle of building a secure database, the implementation of which should ensure the security properties inherent in the model. The security of the database is equally determined by: the properties of the model itself (one or more), its (their) adequacy to the threats affecting the system, and how it (they) is correctly implemented(s). The decisive factor in making a decision is always an assessment of a specific situation, which will allow you to make the right choice, including the complex use of formal models.

Panel Discussion: Role-based Access Control and Next-Generation Security Models

1996 ◽  
pp. 289-298
Author(s):  
Roshan Thomas ◽  
Elisa Bertino ◽  
Pierangela Samarati ◽  
Hans H. Brüggemann ◽  
Bret Hartman ◽  
...  
Keyword(s):  
Access Control ◽  
Panel Discussion ◽  
Role Based Access Control ◽  
Next Generation ◽  
Security Models ◽  
Role Based

scholarly journals On the representation of role-based access control models by object-oriented HRU model: taxonomic leaf-based hierarchy case

2020 ◽  
pp. 126-135
Author(s):  
S. V. Usov
Keyword(s):  
Access Control ◽  
Object Oriented ◽  
Control Policy ◽  
Control Model ◽  
Role Based Access Control ◽  
Access Control Model ◽  
Access Control Models ◽  
Control Models ◽  
Security Models ◽  
Role Based

In this paper the possibility of representing of some types of role-based access control models by object-oriented discretionary access control model is considered. The role-based security models with taxonomic hierarchy are considered. The permissions of the role-based access control model are represented as a set of pairs of object and access right. A hierarchy of classes of the object-oriented HRU model, based on the role-based access control policy, is constructed. Commands of the object-oriented HRU model, corresponding to the reassignment of roles in the original role-based model, are described.

scholarly journals Automated reverse engineering of role-based access control policies of web applications

2021 ◽  
pp. 111109
Author(s):  
Ha Thanh Le ◽  
Lwin Khin Shar ◽  
Domenico Bianculli ◽  
Lionel Claude Briand ◽  
Cu Duy Nguyen
Keyword(s):  
Access Control ◽  
Reverse Engineering ◽  
Web Applications ◽  
Role Based Access Control ◽  
Control Policies ◽  
Access Control Policies ◽  
Role Based
Sign in / Sign up

Export Citation Format

Share Document