12637 search results - page 105 / 2528 » Security for Extensible Systems |
131
click to vote
HOTOS
2009
IEEE
15 years 6 months ago
2009
IEEE
Operating systems can efficiently provide system transactions to user applications, in which user-level processes can execute a series of system calls atomically and in isolation ...
127
click to vote
ACSAC
1999
IEEE
15 years 7 months ago
1999
IEEE
A wide range of security services may be available to applications in a heterogeneous computer network environment. Resource Management Systems (RMSs) responsible for assigning co...
100
Voted
PERCOM
2006
ACM
16 years 2 months ago
2006
ACM
This paper describes a reusable pervasive information infrastructure developed as part of the Equator IRC, designed to allow the construction of literacy based eLearning activitie...
124
Voted
ESORICS
2000
Springer
15 years 6 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...
120
Voted
OOPSLA
2001
Springer
15 years 7 months ago
2001
Springer
The Multitasking Virtual Machine (called from now on simply MVM) is a modification of the Java™ virtual machine. It enables safe, secure, and scalable multitasking. Safety is ac...