Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by P.N. Devyanin
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
Related publications
A Formal Security Model for Microprocessor Hardware
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Security Policy Implementations in Network Firewalls
Computers and Security
Law
Computer Science
A Very British National Security State: Formal and Informal Institutions in the Design of UK Security Policy
British Journal of Politics and International Relations
Management
International Relations
Political Science
Policy
Monitoring
Law
Model of Work Management in the Operating Organization for the Maintenance of Building Systems
Magazine of Civil Engineering
Building
Civil
Construction
Structural Engineering
Formal Analysis of a Model for Electronic Payment Systems
Graphical Representation and Manipulation of Complex Structures Based on a Formal Model
Notes on Numerical Fluid Mechanics and Multidisciplinary Design
Transfer Processes
Fluid Flow
Political Space Between Formal Rules and Real Capabilities: Problem of Multitudinous Representation
The Journal of Political Theory, Political Philosophy and Sociology of Politics Politeia
URN Model of the Requirements for Operating and Maintaining Complex Distributed Systems
On the Operating Mode of Bimetallic Systems for Environmental Remediation
Journal of Hazardous Materials
Waste Management
Mutagenesis
Disposal
Environmental Chemistry
Health
Toxicology
Environmental Engineering
Pollution
