《信息化的科学梦:从计算机科学到信息化科学》是一本面向未来的计算机与信息化科学的理论思想书籍，介绍了高阶无穷计算机、代理化、互操作性平台理论、群体计算理论、网络世界行为学、信息化服务性理论、信息化安全性理论、信息化监管理论、信息化认证理论、网络行为对抗理论、信息化总体学与体系结构、可信网络世界体系结构框架、信息化技术法规、信息化标准化理论、信息化评估理论、信息化测评认证理论和信息化科学使命等诸多方面的内容。《信息化的科学梦:从计算机科学到信息化科学》还提出了170个信息化科学研究问题，其中大部分可以作为博士论文的选题。