5843 search results - page 84 / 1169 » Software Security in Practice |
140
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
For any computing system to be secure, both hardware and software have to be trusted. If the hardware layer in a secure system is compromised, not only it would be possible to ext...
160
click to vote
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...