- 授权协议: Apache
- 开发语言: C/C++
- 操作系统: Linux
- 软件首页: http://code.google.com/p/k-framework/
- 软件文档: http://code.google.com/p/k-framework/w/list
软件介绍
K是一个可执行的语义框架，可通过配置、计算和规则来定义编程语言，calculi以及各种表达式分析工具。
\||||||||||||||||||/
--- Welcome to Maude ---
/||||||||||||||||||\
Maude 2.4 built: Nov 6 2008 16:42:13
Copyright 1997-2008 SRI International
Tue Apr 13 09:40:30 2010
Maude>
深入浅出 HTTPS：从原理到实战
虞卫东 / 电子工业出版社 / 2018-6 / 89
本书是一本专业的HTTPS书籍，全面讲解了HTTPS领域的相关知识，内容包括密码学、OpenSSL命令行、证书、TLS协议、HTTPS网站性能优化、HTTPS网站优秀实践、大型网站HTTPS架构设计等。本书有几个特点：（1）内容全面而新颖，基于RFC文档、国外书籍、社区等一手资料，总结了大部分最新的HTTPS知识；（2）由浅入深，从基础到进阶全面掌握HTTPS，读者能够轻松构建一个HTTPS网站，......一起来看看 《深入浅出 HTTPS：从原理到实战》 这本书的介绍吧!
