752 search results - page 47 / 151 » Finite-State Modeling, Analysis and Testing of System Vulner... |
114
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...
106
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
155
click to vote
NORDSEC
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. To have certainty about identities is crucial for secure communication in digital environments. The number of digital identities that people and organizations need to man...
110
click to vote
ACSAC
2005
IEEE
15 years 7 months ago
2005
IEEE
Java 2 Micro-Edition Connected Limited Device Configuration (J2ME CLDC) is the platform of choice when it comes to running mobile applications on resourceconstrained devices (cel...
124
click to vote
ICSEA
2006
IEEE
15 years 8 months ago
2006
IEEE
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...