12637 search results - page 105 / 2528 » Security for Extensible Systems |
HOTOS
2009
IEEE
14 years 27 days 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 ...
ACSAC
1999
IEEE
14 years 1 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...
PERCOM
2006
ACM
14 years 8 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...
ESORICS
2000
Springer
14 years 19 days 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...
OOPSLA
2001
Springer
14 years 1 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...