Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Misato Nakabayashi"'
Autor:
Tetsuya Okuda, Koji Chida, Daisuke Shirai, Sakae Chikara, Tsunekazu Saito, Misato Nakabayashi, Kazuki Yamamura, Yuri Tanaka, Katsuyuki Natsukawa, Koichi Takasugi
Publikováno v:
NTT Technical Review. 20:32-39
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7622038faabfb56ef7f0766edd204fc9
https://doi.org/10.53829/ntr202201fa6
https://doi.org/10.53829/ntr202201fa6
Autor:
Misato Nakabayashi, Yuki Okano
Publikováno v:
Proceedings of the 2021 International Symposium on Advanced Security on Software and Systems.
We propose an automatic verification method for cryptographic protocols. Our method can verify whether or not the key-exchange protocol satisfies main security properties, requiring only the protocol specification as its input. The specification cons
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d4ab42a6cae09ee65fd5b8acf186bf93
https://doi.org/10.1145/3457340.3458301
https://doi.org/10.1145/3457340.3458301