2726 search results - page 67 / 546 » Application security support in the operating system kernel |
133
Voted
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
—Unencrypted data appearing on the processor– memory bus can result in security violations, e.g., allowing attackers to gather keys to financial accounts and personal data. Al...
140
click to vote
TON
1998
15 years 4 months ago
1998
—We present an end system architecture designed to support networking with quality of service (QoS) guarantees. The protocol processing component of the architecture, called Migr...
150
click to vote
SP
2009
IEEE
15 years 11 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
129
click to vote
SOSP
1989
ACM
15 years 6 months ago
1989
ACM
This paper reports our experiences implementing remote procedure call (RPC) protocols in the x-kernel. This exercise is interesting because the RPC protocols exploit two novel des...
123
Voted
CATS
2006
15 years 6 months ago
2006
This paper gives an overview of a pilot project on the specification and verification of the L4 highperformance microkernel. Of the three aspects examined in the project, we descr...