Skip to search formSkip to main contentSkip to account menu

Reference monitor

In operating systems architecture a reference monitor concept defines a set of design requirements on a reference validation mechanism, which… 
Wikipedia (opens in a new tab)

Related topics

Related topics

10 relations
Computer securityLanguage-based securityLocal Procedure CallOperating system

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Mandatory Access Control for the Android Dalvik Virtual Machine
With the growing use of smartphones and other mobile devices, it becomes essential to be able to assure the user that his system… 
2011
2011
Secure and Sustainable Benchmarking in Clouds
Cloud computing entails a novel security threat: The cloud service provider is entrusted with the data of all its customers. This… 
2011
2011
A reachability-based access control model for online social networks
As a result of the widespread use of social networking sites, millions of individuals can today easily share personal and… 
2009
2009
A usage control policy specification with Petri nets
In this paper we propose a novel usage control policy specification based on Coloured Petri Nets formalism. Recently, usage… 
2008
2008
Enforcing security properties in task-based systems
Though a user's privileges are often granted based on the tasks that the user is expected to fulfill, the concept of tasks is… 
2007
2007
Deriving Enforcement Mechanisms from Policies
Policies provide a flexible and scalable approach to the management of distributed systems by separating the specification of… 
2003
2003
Modeling Dynamic Role-based Access Constraints using UML
Systematic development of security sensitive software requires that there be a sufficiently expressive linguistic extension to… 
1999
1999
Flexible Secure Multicasting in Active Networks
In this paper we describe an alternative, flexible approach to multicast security in active networks. Traditional schemes for… 
Review
1993
Review
1993
A survey of security issues in office computation and the application of secure computing models to office systems
1988
1988
Element-level classification with A1 assurance
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)