Verifying Information Flow Goals in Security-Enhanced Linux

Journal of Computer Security - Netherlands
doi 10.3233/jcs-2005-13105
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IOS Press

Related search

Verifying Information Flow Properties of Hybrid Systems

2013English

Enhancing Security in Linux OS

International Journal of Computer Applications
2015English

Information Flow Security for Stochastic Processes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Verifying Sensor Network Security Protocol Implementations

English

Verifying Security Protocols as Planning in Logic Programming

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2001English

Security Linux Extension Based on System Calls Interposition

Prikladnaya Diskretnaya Matematika
Signal ProcessingCombinatoricsApplied MathematicsMathematicsDiscrete MathematicsComputational TheoryTheoretical Computer Science
2008English

Nutrition Security and Sustainable Development Goals in Africa

African journal of reproductive health
GynecologyPublic HealthReproductive MedicineEnvironmentalObstetricsOccupational Health
2016English

Verifying Security of Composed Interaction for Web Services

Journal of Software
2009English

Security Enhancements for FPGA-based MPSoCs: A Boot-To-Runtime Protection Flow for an Embedded Linux-Based System

2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy