Hacker-Proof Coding: Software verification helps find the faults, preventing hacks.

The article discusses coding efforts to avoid hacking by using software verification. Software verification options are discussed including a building tool known as DeepSpec which verifies specifications, the operating system CertiKOS which uses formal verification processes to make sure code behave...

Descripción completa

Detalles Bibliográficos

Publicado en:	Communications of the ACM Vol. 60; no. 8; pp. 12 - 15
Autor principal:	Shein, Esther
Formato:	Artículo
Publicado:	Association for Computing Machinery Aug2017
Materias:	Software verification Prevention of computer hacking Computer security Computer security vulnerabilities Computer security software
Acceso en línea:	Ver este registro en EBSCOhost