55 search results - page 1 / 11 » Automated Code Review Tools for Security |
COMPUTER
2008
13 years 5 months ago
2008
JAMIA
2010
12 years 11 months ago
2010
Clinical coding and classification processes transform natural language descriptions in clinical text into data that can subsequently be used for clinical care, research, and othe...
SP
2006
IEEE
13 years 11 months ago
2006
IEEE
The number and the importance of Web applications have increased rapidly over the last years. At the same time, the quantity and impact of security vulnerabilities in such applica...
EURODAC
1994
IEEE
13 years 9 months ago
1994
IEEE
In this paper we explain the steps of the CAD tools developed for self checking circuits. The CAD tools developed are used to design Strongly Fault Secure, Strongly Code Disjoint ...
KBSE
2007
IEEE
13 years 11 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...