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

Description
Summary:	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 argues that an article by Yang and Hawblitzel, published in the issue, which uses Typed Assembly Language (TAL) and to create a software stack with end-to-end safety, is an important development.