文件名称:ocaml-tls:纯OCaml中的TLS
文件大小:303KB
文件格式:ZIP
更新时间:2024-02-26 17:54:21
tls security ocaml mirageos SecurityOCaml
ocaml-tls:纯OCaml中的TLS
【文件预览】:
ocaml-tls-master
----sni.md(2KB)
----CHANGES.md(11KB)
----tls-mirage.opam(1KB)
----certificates()
--------foo.pem(794B)
--------ca-root-nss-short.crt(238KB)
--------bar.pem(794B)
--------server.pem(887B)
--------server.key(887B)
----lib()
--------handshake_server.ml(25KB)
--------crypto.ml(7KB)
--------handshake_crypto13.ml(6KB)
--------explorator.ml(0B)
--------engine.mli(8KB)
--------handshake_client.ml(22KB)
--------core.ml(11KB)
--------dune(231B)
--------engine.ml(30KB)
--------handshake_client.mli(402B)
--------handshake_server.mli(286B)
--------ciphersuite.ml(13KB)
--------config.mli(7KB)
--------state.ml(15KB)
--------writer.ml(16KB)
--------packet.ml(22KB)
--------handshake_server13.ml(23KB)
--------handshake_crypto.mli(342B)
--------tracing.ml(621B)
--------reader.mli(2KB)
--------writer.mli(1KB)
--------handshake_common.ml(19KB)
--------utils.ml(3KB)
--------config.ml(11KB)
--------handshake_crypto.ml(4KB)
--------control.ml(3KB)
--------reader.ml(29KB)
--------tracing.mli(336B)
--------handshake_client13.ml(13KB)
----dune-project(27B)
----lwt()
--------dune(133B)
--------tls_lwt.ml(8KB)
--------tls_lwt.mli(5KB)
--------examples()
--------x509_lwt.mli(1KB)
--------x509_lwt.ml(4KB)
----design.md(13KB)
----.travis.yml(439B)
----build(153B)
----LICENSE.md(1KB)
----README.md(1KB)
----tls.opam(2KB)
----.travis-test-mirage.sh(348B)
----tests()
--------testlib.ml(2KB)
--------interop-openssl-sclient.sh(2KB)
--------writertests.ml(34KB)
--------dune(497B)
--------unittestrunner.ml(55B)
--------readerwritertests.ml(20KB)
--------feedback.ml(3KB)
--------dh.pem(246B)
--------unittests.ml(197B)
--------key_derivation.ml(27KB)
--------interop-mbedtls-client2.sh(2KB)
--------readertests.ml(107KB)
--------interop-openssl-sserver.sh(2KB)
----attacks.md(14KB)
----.gitignore(196B)
----mirage()
--------tls_mirage.mli(3KB)
--------dune(165B)
--------tls_mirage.ml(9KB)
--------example2()
--------example()