Keeping computers from making mistakes: quis custodiet?
Silvio Micali and Paul Feldman, mathematicians at the Massachusetts Institute of Technology, have developed a promising new technique for ensuring a foolproof error-correcting system within a computer. To enable computers to check each other's errors, the system takes a democratic approach whereby...
| Publicado en: | Economist Vol. 318; pp. 91 - 92 |
|---|---|
| Formato: | Artículo |
| Publicado: |
Economist Newspaper Limited
February 9 1991
|
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=ssf&AN=508337881&site=ehost-live header: @attributes: shortDbName: ssf uiTerm: 508337881 longDbName: Social Sciences Full Text (H.W. Wilson) uiTag: AN controlInfo: bkinfo: jinfo: jid: 00130613 ECO jtl: Economist issn: 00130613 maglogo: N pubinfo: dt: February 9 1991 vid: 318 pid: 161 pub: Economist Newspaper Limited artinfo: ui: 508337881 ppf: 91 ppct: 1 formats: tig: atl: Keeping computers from making mistakes: quis custodiet? aug: su: Computer software correctness sug: subj: Computer software correctness ab: Silvio Micali and Paul Feldman, mathematicians at the Massachusetts Institute of Technology, have developed a promising new technique for ensuring a foolproof error-correcting system within a computer. To enable computers to check each other's errors, the system takes a democratic approach whereby various parts of the system vote and the majority is considered correct. To address the trick of arranging the voting so that the majority cannot be deceived, Micali and Feldman use the notion of zero-knowledge proof. The idea entails having one component convince another that it possesses secret knowledge (fragments of mathematical proofs) without revealing that knowledge to some part that does not already have it. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: N holdings: @attributes: islocal: N |
|---|