355 search results - page 58 / 71 » Security Test Generation Using Threat Trees |
129
click to vote
AFRIGRAPH
2009
ACM
15 years 6 months ago
2009
ACM
The generation of accurate Line of Sight (LOS) visibility information consumes significant resources in large scale synthetic environments such as many-on-many serious games and b...
120
click to vote
ML
2006
ACM
15 years 8 months ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
118
click to vote
FORTE
2004
15 years 4 months ago
2004
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
107
click to vote
ACSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
Instruction Set Randomization (ISR) has been proposed as a form of defense against binary code injection into an executing program. One proof-of-concept implementation is Randomiz...
240
click to vote
CCS
2011
ACM
14 years 2 months ago
2011
ACM
Paper forgery is among the leading causes of corruption in many developing regions [2]. In this paper, we introduce PaperSpeckle, a robust system that leverages the natural random...