355 search results - page 8 / 71 » Security Test Generation Using Threat Trees |
IMC
2004
ACM
14 years 3 months ago
2004
ACM
Malicious traffic from self-propagating worms and denialof-service attacks constantly threatens the everyday operation of Internet systems. Defending networks from these threats d...
VLSID
2007
IEEE
14 years 10 months ago
2007
IEEE
We introduce a novel method of test generation for microprocessors at the RTL using spectral methods. Test vectors are generated for RTL faults, which are the stuck-at faults on i...
WISTP
2010
Springer
14 years 5 months ago
2010
Springer
Abstract. The Norwegian company Encap has developed protocols enabling individuals to use their mobile phones as one-time password (OTP) generators. An initial analysis of the prot...
FSTTCS
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. We propose a construction that augments the precomputation step of a regular tree pattern matching algorithm to include cost analysis. The matching device generated is a ...
OOPSLA
2007
Springer
14 years 4 months ago
2007
Springer
RANDOOP FOR JAVA generates unit tests for Java code using feedback-directed random test generation. Below we describe RANDOOP’s input, output, and test generation algorithm. We ...