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 |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=69924583&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 69924583 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Dec2011 vid: 54 iid: 12 pid: 68 pub: Association for Computing Machinery artinfo: ui: 69924583 10.1145/2043174.2043196 ppf: 122 ppct: 1 formats: tig: atl: Safety first! aug: au: Leroy, Xavier su: Computer software Computer storage devices Assembly languages (Electronic computers) Computer software security sug: subj: Computer software Computer storage devices Assembly languages (Electronic computers) Computer software security ab: 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. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2011 holdings: @attributes: islocal: N |
|---|