On the Problem of Representation of the Formal Model of Security Policy for Operating Systems

Proceedings of the Institute for System Programming of the RAS
doi 10.15514/ispras-2017-29(3)-1
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institute for System Programming of the Russian Academy of Sciences

Related search

A Formal Security Model for Microprocessor Hardware

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Formal Security Policy Implementations in Network Firewalls

Computers and Security
LawComputer Science
2012English

A Very British National Security State: Formal and Informal Institutions in the Design of UK Security Policy

British Journal of Politics and International Relations
ManagementInternational RelationsPolitical SciencePolicyMonitoringLaw
2018English

Model of Work Management in the Operating Organization for the Maintenance of Building Systems

Magazine of Civil Engineering
BuildingCivilConstructionStructural Engineering
2013English

Formal Analysis of a Model for Electronic Payment Systems

2017English

Graphical Representation and Manipulation of Complex Structures Based on a Formal Model

Notes on Numerical Fluid Mechanics and Multidisciplinary Design
Transfer ProcessesFluid Flow
1995English

Political Space Between Formal Rules and Real Capabilities: Problem of Multitudinous Representation

The Journal of Political Theory, Political Philosophy and Sociology of Politics Politeia
2017English

URN Model of the Requirements for Operating and Maintaining Complex Distributed Systems

English

On the Operating Mode of Bimetallic Systems for Environmental Remediation

Journal of Hazardous Materials
Waste ManagementMutagenesisDisposalEnvironmental ChemistryHealthToxicologyEnvironmental EngineeringPollution
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy