Radboud University
iCIS

Automata Wiki

  • ↑ To Benchmarks

TLS protocol

  • Description
  • Bibliography

Benchmark models

  • Mealy

Learning with mapper

  • Mapper
  • Learned Models
  • Pictures of Learned Models
    print · login   
Home » BenchmarkTLS-RuiterEtAl2015 » Mealy

Mealy models learned with mapper

  • JSSE_1.8.0_25_server_regular.dot
  • JSSE_1.8.0_31_server_regular.dot
  • GnuTLS_3.3.12_client_full.dot
  • GnuTLS_3.3.12_client_regular.dot
  • GnuTLS_3.3.12_server_full.dot
  • GnuTLS_3.3.12_server_regular.dot
  • GnuTLS_3.3.8_client_full.dot
  • GnuTLS_3.3.8_client_regular.dot
  • GnuTLS_3.3.8_server_full.dot
  • GnuTLS_3.3.8_server_regular.dot
  • miTLS_0.1.3_server_regular.dot
  • NSS_3.17.4_client_full.dot
  • NSS_3.17.4_client_regular.dot
  • NSS_3.17.4_server_regular.dot
  • OpenSSL_1.0.1g_client_regular.dot
  • OpenSSL_1.0.1g_server_regular.dot
  • OpenSSL_1.0.1j_client_regular.dot
  • OpenSSL_1.0.1j_server_regular.dot
  • OpenSSL_1.0.1l_client_regular.dot
  • OpenSSL_1.0.1l_server_regular.dot
  • OpenSSL_1.0.2_client_full.dot
  • OpenSSL_1.0.2_client_regular.dot
  • OpenSSL_1.0.2_server_regular.dot
  • RSA_BSAFE_C_4.0.4_server_regular.dot
  • RSA_BSAFE_Java_6.1.1_server_regular.dot