共 2 条
[1]
Inductive analysis of the Internet protocol TLS[J] . Lawrence C. Paulson.ACM Transactions on Information and System Security (TISSEC) . 1999 (3)
[2]
HTTP Over TLS .2 Rescorla E. Informational Request for Comments 2818 . 2000