The Application of Formal Methods to Real-World Cryptographic Algorithms, Protocols, and Systems.
| Publicado en: | Computer (00189162) Vol. 54; no. 1; pp. 29 - 39 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
IEEE
Jan2021
|
| 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=148208455&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 148208455 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00189162 PUT jtl: Computer (00189162) issn: 00189162 maglogo: N pubinfo: dt: Jan2021 vid: 54 iid: 1 pid: 13605 pub: IEEE artinfo: ui: 148208455 10.1109/MC.2020.3033613 ppf: 29 ppct: 10 formats: tig: atl: The Application of Formal Methods to Real-World Cryptographic Algorithms, Protocols, and Systems. aug: au: Mouha, Nicky Hailane, Asmaa affil: National Institute of Standards and Technology, Gaithersburg, Maryland United States su: Compilers (Computer programs) Algorithms Virtual private networks Advanced Encryption Standard Digital Object Identifiers Mathematical proofs Information science sug: subj: Compilers (Computer programs) Algorithms Virtual private networks Advanced Encryption Standard Digital Object Identifiers Mathematical proofs Information science pubtype: Academic Journal doctype: Article src: R ab: language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2021 holdings: @attributes: islocal: N |
|---|