Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System

Proceedings of the Institute for System Programming of the RAS
doi 10.15514/ispras-2020-32(1)-1
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institute for System Programming of the Russian Academy of Sciences

Related search

Safety and Liveness for an RBAC/MAC Security Model

IFIP International Federation for Information Processing
2004English

Constructing RBAC Based Security Model in U-Healthcare Service Platform

The Scientific World Journal
BiochemistryMedicineGeneticsMolecular BiologyEnvironmental Science
2015English

Integrating a Hierarchical Bayes Gravity-Like Model Into a Retail Chain’s IT System

2016English

A Verified Hierarchical Control Architecture for Co-Ordinated Multi-Vehicle Operations

International Journal of Adaptive Control and Signal Processing
ControlElectronic EngineeringSignal ProcessingElectricalSystems Engineering
2007English

A Model-Based Approach to Integrating Security Policies for Embedded Devices

2004English

Verified Message Exchange in Providing Security for Cloud Computing in Heterogeneous and Dynamic Environment

International Journal of Applied Information Systems
2017English

A Cross-Tenant RBAC Model for Collaborative Cloud Services

Computers, Materials and Continua
Mechanics of MaterialsElectronic EngineeringSimulationComputer Science ApplicationsElectricalModelingBiomaterials
2019English

Security Analysis for Web Service Behaviors Based on Hierarchical Stochastic Game Model

Chinese Journal of Electronics
Electronic EngineeringApplied MathematicsElectrical
2015English

Hierarchical Multithreading: Programming Model and System Software

2006English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy