Safety first!

The article discusses computing techniques which are used to increase the security and reliability of software including automatic memory management, type-checking, and dynamic checks. The author argues that these properties can detect programming errors and prevent security attacks. The article arg...

Full description

Bibliographic Details

Published in:	Communications of the ACM Vol. 54; no. 12; pp. 122 - 123
Main Author:	Leroy, Xavier
Format:	Article
Published:	Association for Computing Machinery Dec2011
Subjects:	Computer software Computer storage devices Assembly languages (Electronic computers) Computer software security
Online Access:	View this record in EBSCOhost