2575 search results - page 319 / 515 » Providing security with insecure systems |
183
click to vote
SAFECOMP
2004
Springer
15 years 12 months ago
2004
Springer
Safety cases embody arguments that demonstrate how safety properties of a system are upheld. Such cases implicitly document the barriers that must exist between hazards and vulnera...
193
click to vote
DIMVA
2010
15 years 6 months ago
2010
Abstract. In the escalating arms race between malicious code and security tools designed to analyze it, detect it or mitigate its impact, malicious code running inside the operatin...
200
click to vote
IISWC
2008
IEEE
16 years 1 months ago
2008
IEEE
Dynamic binary translation systems enable a wide range of applications such as program instrumentation, optimization, and security. DBTs use a software code cache to store previou...
168
click to vote
ISW
2007
Springer
16 years 23 days ago
2007
Springer
Malware analysis is the process of determining the behavior and purpose of a given malware sample (such as a virus, worm, or Trojan horse). This process is a necessary step to be a...
200
click to vote
VEE
2012
ACM
14 years 2 months ago
2012
ACM
Dynamic data flow tracking (DFT) deals with tagging and tracking data of interest as they propagate during program execution. DFT has been repeatedly implemented by a variety of ...