12637 search results - page 127 / 2528 » Security for Extensible Systems |
ACSAC
1999
IEEE
14 years 1 months ago
1999
IEEE
Coordinating security policies in information enclaves is challenging due to their heterogeneity and autonomy. Administrators must reconcile the semantic diversity of data and sec...
SP
2009
IEEE
14 years 3 months ago
2009
IEEE
This paper describes the design, implementation and evaluation of Native Client, a sandbox for untrusted x86 native code. Native Client aims to give browser-based applications the...
ACSAC
2002
IEEE
14 years 2 months ago
2002
IEEE
The administration of users and access rights in large enterprises is a complex and challenging task. Roles are a powerful concept for simplifying access control, but their implem...
JCS
2010
13 years 7 months ago
2010
raction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently significa...
SP
1990
IEEE
14 years 1 months ago
1990
IEEE
This paper describes the development of a virtual-machine monitor (VMM) security kernel for the VAX architecture. The paper particularly focuses on how the system's hardware,...