Autor:	Constance L. Heitmeyer, Elizabeth I. Leonard, Myla Archer
Rok vydání:	2013
Předmět:	Security service Software security assurance business.industry Computer science Application security Security through obscurity Security convergence Computer security model Software engineering business Security testing Security information and event management
Zdroj:	Lecture Notes in Computer Science ISBN: 9783642365621 ESSoS
DOI:	10.1007/978-3-642-36563-8_12
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::f00705dbe2f0ad875b7c324ac6fc4ed6 https://doi.org/10.1007/978-3-642-36563-8_12 Zobrazit plný text záznamu