577 search results - page 88 / 116 » Engineering Sufficiently Secure Computing |
103
click to vote
CODES
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
113
click to vote
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
Security, privacy and governance are increasingly the focus of government regulations in the U.S., Europe and elsewhere. This trend has created a “regulation compliance” probl...
118
click to vote
ARCS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Certificate-based authentication of parties provides a powerful means for verifying claimed identities, since communicating partners do not have to exchange secrets in ad...
122
click to vote
SEKE
2010
Springer
14 years 10 months ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...
125
click to vote
ICFEM
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...