Safety and Liveness for an RBAC/MAC Security Model

IFIP International Federation for Information Processing
doi 10.1007/1-4020-8070-0_23
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer US

Related search

Constructing RBAC Based Security Model in U-Healthcare Service Platform

The Scientific World Journal
BiochemistryMedicineGeneticsMolecular BiologyEnvironmental Science
2015English

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

Proceedings of the Institute for System Programming of the RAS
2020English

The Coarsest Precongruences Respecting Safety and Liveness Properties

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2010English

Z-Mac an Analytical Model for Wireless Sensor Networks

International Journal of Ad hoc, Sensor & Ubiquitous Computing
2011English

Security Authorization for MAC Address Under Distributed Environment

International Journal of Computer Applications
2015English

A Cross-Tenant RBAC Model for Collaborative Cloud Services

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

Improving Road Safety by Improving Tsodd for Mac

Theoretical & Applied Science
2015English

Simulation Model for Disasters and Emergencies Management for Safety and Security in Industrial Plants

2014English

Delegation Model for CSCW Based on Rbac Policies and Visual Modeling

2005English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy