53 search results - page 2 / 11 » Static Security Analysis Based on Input-Related Software Fau... |
COMPSAC
2006
IEEE
13 years 11 months ago
2006
IEEE
There exists a large variety of techniques to detect and correct software security vulnerabilities at the source code level, including human code reviews, testing, and static anal...
DSN
2007
IEEE
13 years 11 months ago
2007
IEEE
COTS components, like software libraries, can be used to reduce the development effort. Unfortunately, many COTS components have been developed without a focus on robustness and s...
SCAM
2005
IEEE
13 years 10 months ago
2005
IEEE
A common theme in information security is protection of trusted software components against unauthorized access by untrusted users. In the context of distributed object technologi...
VTS
2002
IEEE
13 years 9 months ago
2002
IEEE
We present a software-based weighted random pattern scheme for testing delay faults in IP cores of programmable SoCs. We describe a method for determining static and transition pr...
CORR
2006
Springer
13 years 4 months ago
2006
Springer
Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in the development cycle and assist in creating secure,...