AdaTLS

This project is mainly learn about the structure and design of TLS Protocol. Follow the specify documents, I try to implement a prototype of features Certification Path Validation and Ephemeral Diffie-Hellman by ada and gnat-ide.

Documentation includes more contents about the whole adaTLS framework and features of Certification Path Validation and Ephemeral Diffie-Hellman.