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...
| Publicado en: | Communications of the ACM Vol. 54; no. 12; pp. 122 - 123 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Dec2011
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| Sumario: | 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. |
|---|