Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Petr Nikolaevich Devyanin
Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System
Proceedings of the Institute for System Programming of the RAS
Related publications
Safety and Liveness for an RBAC/MAC Security Model
IFIP International Federation for Information Processing
Constructing RBAC Based Security Model in U-Healthcare Service Platform
The Scientific World Journal
Biochemistry
Medicine
Genetics
Molecular Biology
Environmental Science
Integrating a Hierarchical Bayes Gravity-Like Model Into a Retail Chain’s IT System
A Verified Hierarchical Control Architecture for Co-Ordinated Multi-Vehicle Operations
International Journal of Adaptive Control and Signal Processing
Control
Electronic Engineering
Signal Processing
Electrical
Systems Engineering
A Model-Based Approach to Integrating Security Policies for Embedded Devices
Verified Message Exchange in Providing Security for Cloud Computing in Heterogeneous and Dynamic Environment
International Journal of Applied Information Systems
A Cross-Tenant RBAC Model for Collaborative Cloud Services
Computers, Materials and Continua
Mechanics of Materials
Electronic Engineering
Simulation
Computer Science Applications
Electrical
Modeling
Biomaterials
Security Analysis for Web Service Behaviors Based on Hierarchical Stochastic Game Model
Chinese Journal of Electronics
Electronic Engineering
Applied Mathematics
Electrical
Hierarchical Multithreading: Programming Model and System Software
