5843 search results - page 84 / 1169 » Software Security in Practice |
TASE
2007
IEEE
14 years 3 months ago
2007
IEEE
ICSE
2010
IEEE-ACM
13 years 7 months ago
2010
IEEE-ACM
DATE
2010
IEEE
14 years 2 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...
COMPSAC
2003
IEEE
14 years 2 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...