自动化
安全协议实施自动化生成与验证
《安全协议实施自动化生成与验证》,作者:孟博,王德军 出版社:科学出版社 ISBN:9787030508676。本书包括五篇,共15章。系统地全面介绍了安全实施自动化生成与验证的基本理论和关键技术及最新成果。主要内容包括安全协议规范与实施的形式化分析与验证的国内外发展现状、基于计算模型自动化抽取安全协议Blanchet演算实施模型、安全协议Blanchet演算实施自动化抽取工具JAVA2C
企业办公自动化管理系统
《企业办公自动化管理系统》,作者:盛宇华,朱晓峰编著 出版社:科学出版社 ISBN:7030138538。本书介绍企业办公自动化管理系统的基本概念、企业办公自动化管理系统的各个子系统、企业办公自动化技术和设备管理、企业办公自动化网络管理、企业办公自动化管理系统的安全管理、企业办公自动化管理系统的管理。
IT技能测评自动化 : 理论·技术·应用
《IT技能测评自动化 : 理论·技术·应用》,作者:许骏,柳泉波著 出版社:科学出版社 ISBN:7030098293。本书主要介绍了CAA的定义、分类,提出技能测评的信息模型,讨论了系统建模、形式化表示和知识推理,信息获取技术的应用等内容。
