暗号工学について、ここに記述してください。

http://blog.cryptographyengineering.com/2012/09/on-provable-security-of-tls-part-2.html