Privacy and Security Putting Trust in Security Engineering: Proposing a stronger foundation for an engineering discipline to support the design of secure systems.
The article discusses the role of engineering and assurance in designing secure computer systems. Topics include the notion of trust in relation to assumptions as system vulnerabilities, the role of proof checking based on axiomatic trust in system security, the role of program rewriters in syntheti...
| Publicado en: | Communications of the ACM Vol. 61; no. 5; pp. 37 - 40 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
May2018
|
| 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=129270739&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 129270739 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: May2018 vid: 61 iid: 5 pid: 68 pub: Association for Computing Machinery artinfo: ui: 129270739 10.1145/3199601 ppf: 37 ppct: 3 formats: tig: atl: Privacy and Security Putting Trust in Security Engineering: Proposing a stronger foundation for an engineering discipline to support the design of secure systems. aug: au: Schneider, Fred B. su: Systems engineering Computer security Computer software security Computer engineering Trust sug: subj: Systems engineering Computer security Computer software security Computer engineering Trust ab: The article discusses the role of engineering and assurance in designing secure computer systems. Topics include the notion of trust in relation to assumptions as system vulnerabilities, the role of proof checking based on axiomatic trust in system security, the role of program rewriters in synthetic trust for system security. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2018 holdings: @attributes: islocal: N |
|---|