本书从国内外有关信息安全管理的现实情况出发，论述了加强高校信息安全管理的重要性；研究了信息安全的基本理论；从高校实际情况出发，分析目前信息安全的现状，面临问题的原因分析，提出不仅需要从管理角度加强法律法规建设，健全管理体系、提高师生的安全意识上下功夫，并且从技术角度给出了高校信息安全防护的应用方案，最后对研究工作做了总

本书介绍了计算机图形学基本原理、OpenGL程序设计、数字图象处理基础技术和OpenCV程序设计等相关基础知识，主要内容包括：计算机图形学和数字图像处理概述；基本图元的绘制和OpenGL中的基本图元；图形变换的基本方法和OpenGL中的图形变换；三维场景的真实感绘制和OpenGL中的真实感图形；样条物体的建立和Open

本书针对目前安全协议中存在的不具有实用性或过于复杂等问题，以UC安全属性作为主要对象，研究ZK协议及对它的形式化甚至自动化进行分析验证，主要工作有：研究UC模型的可描述性及UC模型中协议模块化设计与分析方法，利用UC模型分析密码协议的安全性，主要是利用协议仿真严格证明协议是否能安全实现特定安全任务；研究通用可组合零知识

本书分为上下两篇:上篇网页色彩设计,主要讲解色彩基础、网页色彩的组成、网页色彩的搭配、网页要素的色彩设计、网页色彩应用分析和网页色彩设计的趋势;下篇网页布局设计,主要讲解网页创意设计、网页布局的要素、网页布局的方法、网页布局的技巧及网页的未来流行趋势。

本书以校企合作、工学结合的人才培养模式为指导思想,以基于工作过程的教学模式为教学引领,以教学任务为载体,以培养行业网页设计师所具有的职业素养和职业能力为目标,分CSS初步体验、XHTML与CSS基本语法、CSS网页布局与定位基础、用CSS设置丰富的文字及段落效果、用CSS设置图片及背景效果、用CSS设置表格与表单的样式

本书从基于行为描述语言的建模方法、基于BIM的Web服务组合建模方法、转换的正确性证明与特性分析验证、基于模型驱动的可视化方法研究等方面着手,研究探索了服务组合的形式化建模、验证以及模型驱动的可视化技术。本书建立了基于BPEL4WS的形式化服务组合行为模型,构造出了形式化服务组合行为模型WSBM的模拟执行过程,进行了W

本书主要介绍了计算机网络基础知识，对网络体系结构、网络信息安全概念与发展进行了分析，对物联网技术及发展进行了探索。

本书较系统地介绍了Photoshopcc2019的基本操作技巧和核心功能，包括基础知识、工具使用等，并结合案例来讲解，每个案例都有详细的操作步骤，将理论知识点融入案例中，突出展示了Photoshop的实际应用，以便让使用者能快速上手，熟悉Photoshop实用操作技巧,也能为后续深入学习打下基础。本书内容全面，注重理论

本书是“十三五”职业教育国家规划教材。本书采用项目教学编写方式，结合实际工作由浅入深地设置了9个教学项目，学生通过完成一个个项目任务，从实际操作中掌握网页设计与制作的基本知识，尤其是项目中的综合性任务的训练，有利于帮助培养学生综合运用所学知识的能力。本书涵盖了Adobe等公司行业认证的要求。在内容编排上设置了预备知识、

本书用通俗易懂的语言详细介绍了HTML5网页设计和应用CSS3样式美化网页。涵盖了jiaoyubu《Web前端开发职业技能等级标准》1X证书和工信部蓝桥杯全国软件和信息技术专业人才《Web应用开发》大赛的相关网页设计与制作知识点，以真实岗位生产项目、典型工作任务、案例等为载体组织教学内容并进行教学设计，重点突出教、学、