1801 search results - page 97 / 361 » Memory-Centric Security Architecture |
166
click to vote
SOSP
2007
ACM
16 years 3 months ago
2007
ACM
This paper describes an efficient and robust approach to provide a safe execution environment for an entire operating system, such as Linux, and all its applications. The approach...
125
click to vote
COMPSAC
2006
IEEE
16 years 6 days ago
2006
IEEE
This paper shows how an architecture description notation that has support for timed events can be used to provide a meta-language for specifying exact communication semantics. Th...
172
click to vote
HPCA
2006
IEEE
16 years 6 months ago
2006
IEEE
Cyber theft is a serious threat to Internet security. It is one of the major security concerns by both network service providers and Internet users. Though sensitive information c...
199
click to vote
CL
2002
Springer
15 years 6 months ago
2002
Springer
We introduce a typed variant of Safe Ambients, named Secure Safe Ambients (SSA), whose type system allows behavioral invariants of ambients to be expressed and verified. The most ...