发现好书期刊,享受阅读乐趣

海量图书期刊资源,随时随地畅享阅读乐趣

Cryptographically verified implementations for TLS

Cryptographically verified implementations for TLS

K. Bhargavan; C. Fournet; R. Corin; E. Zalinescu
  • 作者K. Bhargavan; C. Fournet; R. Corin; E. Zalinescu
  • 文件大小498.85KB
  • 发表时间2008
  • DOI10.1145/1455770.1455828
← 返回【学霸图书馆】主页