Name
Abstract | ||
|---|---|---|
This paper describes SecProve, a prototype tool we are developing for checking application-specific security properties of C code, together with our vision of how such a tool can be used by a programmer to maintain security of code during its development. |
Year | DOI | Venue |
|---|---|---|
2013 | 10.1007/978-3-642-36563-8_12 | ESSoS |
Keywords | Field | DocType |
secure c program,application-specific security property,c code,prototype tool,verification,security | Security convergence,Security testing,Security through obscurity,Application security,Software engineering,Software security assurance,Computer science,Security service,Security information and event management,Computer security model | Conference |
Citations | PageRank | References |
1 | 0.41 | 13 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Myla M. Archer | 1 | 11 | 1.29 |
| Elizabeth I. Leonard | 2 | 110 | 8.48 |
| Constance L. Heitmeyer | 3 | 898 | 151.71 |