5843 search results - page 84 / 1169 » Software Security in Practice |
TASE
2007
IEEE
15 years 10 months ago
2007
IEEE
140
Voted
ICSE
2010
IEEE-ACM
15 years 1 months ago
2010
IEEE-ACM
121
click to vote
DATE
2010
IEEE
15 years 9 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...
129
click to vote
COMPSAC
2003
IEEE
15 years 9 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...