3003 search results - page 187 / 601 » Software Security: Building Security In |
127
click to vote
CSFW
2000
IEEE
15 years 9 months ago
2000
IEEE
We consider the problem of assembling concurrent software systems from untrusted or partially trusted o -the-shelf components, using wrapper programs to encapsulate components and...
137
click to vote
ESORICS
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we present the security implications of x86 processor bugs or backdoors on operating systems and virtual machine monitors. We will not try to determine whether the b...
136
click to vote
CSREASAM
2003
15 years 6 months ago
2003
Computational web portals provide uniform access to remote computational resources--hardware, software, and data--by hiding the complexity of the heterogeneous, distributed, high ...
170
click to vote
I3E
2001
15 years 6 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
168
click to vote
CSFW
2012
IEEE
13 years 7 months ago
2012
IEEE
—We present a secure (fully abstract) compilation scheme to compile an object-based high-level language to lowchine code. Full abstraction is achieved by relying on a fine-grain...