36320 search results - page 219 / 7264 » From Code to Models |
166
click to vote
IWPC
2006
IEEE
16 years 16 days ago
2006
IEEE
Code obfuscation makes it harder for a security analyst to understand the malicious payload of a program. In most cases an analyst needs to study the program at the machine code l...
151
click to vote
SAFECOMP
1998
Springer
15 years 10 months ago
1998
Springer
: This paper presents a process for the stepwise refinement of safety code assertions from identified system hazards. The code assertions are intended for use in system safety veri...