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

Descripción completa

Detalles Bibliográficos
Publicado en:Communications of the ACM Vol. 54; no. 12; pp. 122 - 123
Autor principal: Leroy, Xavier
Formato: Artículo
Publicado: Association for Computing Machinery Dec2011
Materias:
Acceso en línea:Ver este registro en EBSCOhost