8644 search results - page 117 / 1729 » On the Composition of Secure Systems |
145
click to vote
SP
1990
IEEE
15 years 10 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,...
169
click to vote
HICSS
2008
IEEE
16 years 29 days ago
2008
IEEE
Architecting security solutions for today’s diverse computer systems is a challenge. The modern business environment is comprised of many different applications, e-mail, databas...
159
click to vote
IPPS
2005
IEEE
16 years 3 days ago
2005
IEEE
Sandboxing systems are extremely useful for secure execution of untrusted applications. Many of the sandboxing systems proposed so far provide security by intercepting system call...
201
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
We propose an integrated process for component-based system development and security risk analysis. The integrated process is evaluated in a case study involving an instant messag...
179
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
We treat the security of group key exchange (GKE) in the universal composability (UC) framework. Analyzing GKE protocols in the UC framework naturally addresses attacks by maliciou...