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 |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=127712852&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 127712852 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Feb2018 vid: 61 iid: 2 pid: 68 pub: Association for Computing Machinery artinfo: ui: 127712852 10.1145/3132271 ppf: 46 ppct: 4 formats: tig: atl: Research for Practice: Private Online Communication; Highlights in Systems Verification. aug: au: Bailis, Peter Kwon, Albert Wilcox, James R. affil: Candidate in the EECS department at MIT Ph.D. student at the University of Washington in the Programming Languages and Software Engineering lab su: Interpersonal communication Computer network resources Verification of computer systems sug: subj: Interpersonal communication Computer network resources Verification of computer systems ab: The authors present research papers regarding the use of cryptography to ensure private online communication and advances in systems verification or verified systems design. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2018 holdings: @attributes: islocal: N |
|---|