Siirry päänavigointiin Siirry hakuun Siirry pääsisältöön

Heuristics for Automatic Verification of Pairing-Based Cryptographic Protocols

  • Timo Karvi
  • , Harri Forsgren

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinen

Alkuperäiskielienglanti
Otsikko4th International Conference on Infotelecommunications in science and education
JulkaisupaikkaSaint Peterburg
Julkaisupäivä3 maalisk. 2015
TilaJulkaistu - 3 maalisk. 2015
OKM-julkaisutyyppiB3 Vertaisarvioimaton artikkeli konferenssijulkaisussa
TapahtumaInternational Conference of Infotelecommunications in Science and Education - Saint Petersburg, Venäjä
Kesto: 3 maalisk. 20154 maalisk. 2014
Konferenssinumero: 4

Tieteenalat

  • 113 Tietojenkäsittely- ja informaatiotieteet

Siteeraa tätä