Add to ORKGThis paper reviews the concepts and mechanisms used to improve security in general purpose operating systems. The evolution from makrokernels to microkernels is illustrated, showing different approaches to achieve not only (more) secure but also practical platforms for legacy software applications. The ultimate method of proving correctness by formal verification is revisited. A real-world mikrokernel project trying to achieve this goal for production systems is described. It is evaluated, whether it is realistic to gain strong assurance of correctness i
The safety and security of software systems depends on how they are initially configured. Manually w...
The function of software used to be calculation; mechanising what was previously done by hand. Now i...
The vast majority of hosts on the Internet, including mobile clients, are running one of three commo...
ABSTRACT As computer systems become increasingly mission-critical, used in life-critical situations,...
As computer systems become increasingly mission-critical, used in life-critical situations, and reli...
As computer systems become increasingly mission-critical, used in life-critical situations, and reli...
AbstractPrimitives are basic means provided by a microkernel to implementors of operating system ser...
Abstract. In this paper, we are giving an overview of the ongoing VerisoftXT Avionics project report...
While most microkernel-based systems implement non-essential software components as user space tasks...
Microkernels--long discarded as unacceptable because of their lower performance compared with monoli...
Abstract—Often, an integrated mixed-criticality system is built in an environment which provides sep...
We present recent work on building and scaling trustworthy systems with formal, machine-checkable pr...
In this paper we present a secure micro kernel architecture (called Ray) that was designed from scra...
Abstract. Primitives are basic means provided by a microkernel to im-plementors of operating system ...
Although modern computer systems process increasing amounts of sensitive, private, and valuable info...
The safety and security of software systems depends on how they are initially configured. Manually w...
The function of software used to be calculation; mechanising what was previously done by hand. Now i...
The vast majority of hosts on the Internet, including mobile clients, are running one of three commo...
ABSTRACT As computer systems become increasingly mission-critical, used in life-critical situations,...
As computer systems become increasingly mission-critical, used in life-critical situations, and reli...
As computer systems become increasingly mission-critical, used in life-critical situations, and reli...
AbstractPrimitives are basic means provided by a microkernel to implementors of operating system ser...
Abstract. In this paper, we are giving an overview of the ongoing VerisoftXT Avionics project report...
While most microkernel-based systems implement non-essential software components as user space tasks...
Microkernels--long discarded as unacceptable because of their lower performance compared with monoli...
Abstract—Often, an integrated mixed-criticality system is built in an environment which provides sep...
We present recent work on building and scaling trustworthy systems with formal, machine-checkable pr...
In this paper we present a secure micro kernel architecture (called Ray) that was designed from scra...
Abstract. Primitives are basic means provided by a microkernel to im-plementors of operating system ...
Although modern computer systems process increasing amounts of sensitive, private, and valuable info...
The safety and security of software systems depends on how they are initially configured. Manually w...
The function of software used to be calculation; mechanising what was previously done by hand. Now i...
The vast majority of hosts on the Internet, including mobile clients, are running one of three commo...