本书立足于“互联网+”时代背景,从理论上全面评述了中外政府治理机制的学术史,从政策上系统分析了地方政府治理相关法律法规政策,从实践上总结了地方政府治理精准化存在的问题,并基于多学科视角,提出地方政府治理精准化的机制构建,以期丰富公共管理理论和助推地方政府决策科学化、治理精准化、服务高效化。
本书以基于硬件编程语言的数字系统设计和微处理器软核设计为主线,全书内容分为两大部分:数字系统和微处理器。数字系统部分主要是基于Verilog HDL硬件描述语言的数字电路设计相关内容;微处理器部分主要涉及微处理器的体系结构和两种基于FPGA的微处理器软核的设计和应用。
本书在国内外学者部分研究成果的基础上,介绍了作者在可信计算中的远程证明及其应用方面多年的研究成果。本书主要介绍了信息安全概论、可信计算平台基本概念、基于混合加密的可信软件栈数据封装、动态属性证明协议、度量行为信息基的可信证明、可信远程证明在DRM中的应用、基于TPM的物联网安全等内容。