Research for Practice: Private Online Communication; Highlights in Systems Verification.
The authors present research papers regarding the use of cryptography to ensure private online communication and advances in systems verification or verified systems design.
| Publicado en: | Communications of the ACM Vol. 61; no. 2; pp. 46 - 50 |
|---|---|
| Autores principales: | , , |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Feb2018
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |