Heuristics for Automatic Verification of Pairing-Based Cryptographic Protocols

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen

Alkuperäiskieli	englanti
Otsikko	4th International Conference on Infotelecommunications in science and education
Julkaisupaikka	Saint Peterburg
Julkaisupäivä	3 maalisk. 2015
Tila	Julkaistu - 3 maalisk. 2015
OKM-julkaisutyyppi	B3 Vertaisarvioimaton artikkeli konferenssijulkaisussa
Tapahtuma	International Conference of Infotelecommunications in Science and Education - Saint Petersburg, Venäjä Kesto: 3 maalisk. 2015 → 4 maalisk. 2014 Konferenssinumero: 4

Tieteenalat

@inproceedings{9480751f96b6404c8018506ff2f4fb80,

title = "Heuristics for Automatic Verification of Pairing-Based Cryptographic Protocols",

keywords = "113 Computer and information sciences",

author = "Timo Karvi and Harri Forsgren",

year = "2015",

month = mar,

day = "3",

language = "English",

booktitle = "4th International Conference on Infotelecommunications in science and education",

note = "International Conference of Infotelecommunications in Science and Education ; Conference date: 03-03-2015 Through 04-03-2014",

}

TY - GEN

T1 - Heuristics for Automatic Verification of Pairing-Based Cryptographic Protocols

AU - Karvi, Timo

AU - Forsgren, Harri

N1 - Conference code: 4

PY - 2015/3/3

Y1 - 2015/3/3

KW - 113 Computer and information sciences

M3 - Conference contribution

BT - 4th International Conference on Infotelecommunications in science and education

CY - Saint Peterburg

T2 - International Conference of Infotelecommunications in Science and Education

Y2 - 3 March 2015 through 4 March 2014

ER -