79 followers
@Yaruo_Yanai TLSの安全性証明の論文がASIACRYPT 2008にとおていました。 P. Morrissey, N. P. Smart & B. Warinschi A Modular Security Analysis of the TLS Handshake Protocol https://t.co/FIk2MxUICT 通信プロトコルが何か具体的に分かれば見つかるかもしれません。
@Yaruo_Yanai TLSの安全性証明の論文がASIACRYPT 2008にとおていました。 P. Morrissey, N. P. Smart & B. Warinschi A Modular Security Analysis of the TLS Handshake Protocol https://t.co/FIk2MxUICT 通信プロトコルが何か具体的に分かれば見つかるかもしれません。