550 search results - page 20 / 110 » A lightweight approach to state based security testing |
IJCAI
2007
14 years 11 months ago
2007
Some Statistical Software Testing approaches rely on sampling the feasible paths in the control flow graph of the program; the difficulty comes from the tiny ratio of feasible p...
HICSS
2009
IEEE
15 years 4 months ago
2009
IEEE
In the current state of practice, security properties of software systems are typically assessed through subjective, labor-intensive human evaluation. Moreover, much of the quanti...
RIAO
2007
14 years 11 months ago
2007
In this paper, we describe a novel methodology that integrates the design of the (i) user interface; (ii) interaction logger; and (iii) log analyzer. It is based on formalizing, v...
IEEEARES
2010
IEEE
15 years 1 months ago
2010
IEEE
Many software security vulnerabilities only reveal themselves under certain conditions, i.e., particular configurations of the software together with its particular runtime environ...
FSKD
2007
Springer
14 years 11 months ago
2007
Springer
A new type of database anomaly is described by addressing the concept of Cumulated Anomaly in this paper. Dubiety-Determining Model (DDM), which is a detection model basing on sta...