Separation kernel

A separation kernel is a type of security kernel used to simulate a distributed environment. The concept was introduced by John Rushby in a 1981… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
We introduce a theory of intransitive noninterference for separation kernels with control. We show that it can be instantiated… (More)
Is this relevant?
2010
2010
Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity… (More)
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Although many algorithms, hardware designs, and security protocols have been formally verified, formal verification of the… (More)
  • figure 1
  • table 1
  • table 2
  • figure 2
Is this relevant?
Highly Cited
2005
Highly Cited
2005
The Support Vector Machine (SVM) has emerged in recent years as a popular approach to the classification of data. One problem… (More)
  • figure 1
  • table I
  • figure 2
  • table II
Is this relevant?
2004
2004
We extend the separation kernel abstraction to represent the enforcement of the principle of least privilege. In addition to the… (More)
  • table 1
  • figure 1
  • table 2
  • table 3
  • table 4
Is this relevant?
2004
2004
Greve, Wilding, and Vanfleet [ GWV03] present an ACL2 formalization of a security policy for a separation kernel, and validate… (More)
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Separation kernels mediate interaction between partitions in a secure system. System security policies can be developed about… (More)
Is this relevant?
2002
2002
Separation of processes is the foundation for security and safety properties of systems. This paper reports on a collaborative… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2001
Highly Cited
2001
In this paper, we present classes of kernels for machine learning from a statistics perspective. Indeed, kernels are positive… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
Is this relevant?
Highly Cited
1998
Highly Cited
1998
In this paper we study a dual version of the Ridge Regression procedure. It allows us to perform non-linear regression by… (More)
Is this relevant?