2726 search results - page 64 / 546 » Application security support in the operating system kernel |
137
Voted
OSDI
1994
ACM
15 years 6 months ago
1994
ACM
Traditional le system implementations do not allow applications to control le caching replacement decisions. We have implemented two-level replacement, a scheme that allows appl...
134
Voted
MIDDLEWARE
2004
Springer
15 years 10 months ago
2004
Springer
Security is an important concern in providing the infrastructure for the implementation of general purpose computational grids. However, most grid implementations focus their secu...
140
click to vote
ESORICS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...
126
click to vote
SIGOPSE
1996
ACM
15 years 9 months ago
1996
ACM
We introduce server operating systems, which are sets of abstractions and runtime support for specialized, highperformance server applications. We have designed and are implementi...
175
click to vote
TSE
2011
14 years 11 months ago
2011
— We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization specification that describe...