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...

Full description

Bibliographic Details

Published in:	Communications of the ACM Vol. 60; no. 8; pp. 12 - 15
Main Author:	Shein, Esther
Format:	Article
Published:	Association for Computing Machinery Aug2017
Subjects:	Software verification Prevention of computer hacking Computer security Computer security vulnerabilities Computer security software
Online Access:	View this record in EBSCOhost