mandatory access control

White Papers

Model Checking for Verification of Mandatory Access Control Models and Properties

July 6, 2010 12:00am PDT

Mandatory Access Control (MAC) mechanisms control which users or processes have access to which resources in a system. MAC policies are increasingly specified to facilitate managing and...

Provided by: North Carolina State University

White Papers

FreeBSD Mandatory Access Control Usage for Implementing Enterprise Security Policies

June 12, 2007 12:00am PDT

FreeBSD was one of the first widely deployed free operating systems to provide mandatory access control. It supports a number of classic MAC models. This tutorial paper addresses exploiting this...

Provided by: St. Petersburg State University

White Papers

Shamon: A System for Distributed Mandatory Access Control

September 19, 2006 12:00am PDT

The authors define and demonstrate an approach to securing distributed computation based on a shared reference monitor(Shamon) that enforces Mandatory Access Control (MAC) policies across a...

Provided by: Pennsylvania State University

White Papers

Shamon: A System for Distributed Mandatory Access Control

September 19, 2006 12:00am PDT

The authors define and demonstrate an approach to securing distributed computation based on a shared reference monitor(Shamon) that enforces Mandatory Access Control (MAC) policies across a...

Provided by: Pennsylvania State University

Articles

Tech Tip: Consider implementing Security-Enhanced Linux

July 28, 2004 7:47pm PDT

Implementing SELinux will allow you to enforce mandatory access controls, confining user programs to the least privilege required for their operation.

White Papers

A Layered Approach to Simplified Access Control in Virtualized Systems

May 15, 2007 12:00am PDT

In this paper, the authors show how the abstraction layer created by a hypervisor, or virtual machine monitor, can be leveraged to reduce the complexity of mandatory access control policies...

Provided by: IBM

White Papers

A Layered Approach to Simplified Access Control in Virtualized Systems

May 15, 2007 12:00am PDT

In this paper, the authors show how the abstraction layer created by a hypervisor, or virtual machine monitor, can be leveraged to reduce the complexity of mandatory access control policies...

Provided by: IBM

White Papers

Protecting Confidential Files Using SE-Linux

September 10, 2009 12:00am PDT

A mandatory access control system, such as SE-Linux, is able to protect a computer system containing files and confidential data. Is not an easy task to manage a system protected with SE-Linux as...

Provided by: Trinity College Dublin

White Papers

Centralized Security Policy Support for Virtual Machine

November 10, 2006 12:00am PST

For decades, researchers have pointed out that Mandatory Access Control (MAC) is an effective method to protect computer systems from being misused. Unfortunately, MAC is still not widely deployed...

Provided by: Keio University

White Papers

Red Hat Enterprise Linux 6 Security-Enhanced Linux

October 6, 2010 12:00am PDT

Security-Enhanced Linux (SELinux) is an implementation of a mandatory access control mechanism in the Linux kernel, checking for allowed operations after standard discretionary access controls are...

Provided by: Red Hat

White Papers

AWPP: A New Scheme for Wireless Access Control Proportional to Traffic Priority and Rate

February 20, 2011 12:00am PST

Cutting-edge wireless networking approaches are required to efficiently differentiate traffic and handle it according to its special characteristics. The current Medium Access Control (MAC) scheme...

Provided by: Hindawi Publishing

Software

amf XS client 1.0 (Mobile)

June 22, 2011 12:00am PDT

The amf xs XenServer Plugin is an iPad native app to access and control the amf XenServer Module. This app provides functionalities that allow mobile access to Citrix XenServers and stored virtual...

Provided by: acocon GmbH

White Papers

Provable Security: How Feasible Is It?

April 13, 2011 12:00am PDT

For mainstream operating systems the community has given up on strong security. One can graft mandatory access control onto Linux, or try to harden Windows NT, but people are in no position to get...

Provided by: University of New South Wales

White Papers

A Comprehensive Analysis of MAC Enhancements for Leveraging Distributed MAC

March 21, 2008 12:00am PDT

Increased dependability of users, businesses and government on computing systems for research and computations on sensitive data raises serious issues regarding security. Operating systems...

Provided by: International Islamic University, Islamabad

White Papers

HP-UX 11i V3 and Common Criteria CCOPPOS/ EAL4+: HP-UX 11i V3 Evaluated Against CCOPP-OS Extends the Range of Commercial Operating System Protections

September 1, 2008 12:00am PDT

The COTS Compartmentalized Protection Profile - Operating Systems (CCOPP-OS) specifies the extensive range of security requirements necessary to solve the security problem that organizations...

Provided by: Hewlett-Packard (HP)

White Papers

The Formal Model of DBMS Enforcing Multiple Security Polices

May 1, 2010 12:00am PDT

The formal security policy model and security analysis is necessary to help DataBase Management System (DBMS) to attain a higher assurance level. In this paper, the authors develop a formal...

Provided by: Academy Publisher

White Papers

The Formal Model of DBMS Enforcing Multiple Security Polices

May 1, 2010 12:00am PDT

The formal security policy model and security analysis is necessary to help DataBase Management System (DBMS) to attain a higher assurance level. In this paper, the authors develop a formal...

Provided by: Academy Publisher

White Papers

Trojan Horse Resistant Discretionary Access Control

April 8, 2008 12:00am PDT

Modern operating systems primarily use Discretionary Access Control (DAC) to protect files and other operating system resources. DAC mechanisms are more user-friendly than Mandatory Access Control...

Provided by: Purdue University

White Papers

A Formal Framework for Secure Design and Constraint Checking in UML

January 1, 2008 12:00am PST

The design of software applications using the unified modeling language, UML, embodies an incremental process, transitioning a design from state to state over time. The integration of security...

Provided by: University of Connecticut

White Papers

Deterministic Service on IEEE 802.11-Like Networks

April 9, 2008 12:00am PDT

Wireless IEEE 802.11 networks are typically deployed as a convenient and flexible way to access wired backbones. However, due to the inherently shared nature and physical properties of their...

Provided by: Politecnico di Torino