2236 search results - page 34 / 448 » Secure Software Design in Practice |
CAINE
2003
13 years 10 months ago
2003
Most security protocols share a similar set of algorithms and functions and exhibit common sequences and patterns in the way they operate. These observations led us to propose a u...
ESOP
2005
Springer
14 years 2 months ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...
OSDI
2006
ACM
14 years 8 months ago
2006
ACM
Software attacks often subvert the intended data-flow in a vulnerable program. For example, attackers exploit buffer overflows and format string vulnerabilities to write data to u...
INFSOF
2007
13 years 8 months ago
2007
Retrofitting security implementations to a released software-intensive system or to a system under development may require significant architectural or coding changes. These late...
JUCS
2010
13 years 7 months ago
2010
: The advances and adoption of Trusted Computing and hardware assisted virtualisation technologies in standard PC platforms promise new approaches in building a robust virtualisati...