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