《安全协议实施安全性自动化分析与验证》系统介绍安全协议实施安全性自动化分析与验证的基本理论和关键技术及**成果。主要内容包括安全协议实施安全性分析与验证的国内外发展现状、一阶定理证明器ProVerif及应用、自动化安全协议证明器CryptoVerif及应用、基于计算模型自动化抽取安全协议Blanchet演算实施模型、安
本书主要介绍认证与密钥协商协议的设计方法以及协议中所涉及的相关知识。针对若干应用环境，例如VoIP网络、电子医疗健康网络、智能电网等应用环境，本文详细阐述了认证与密钥协商协议设计的思想，具体的设计步骤。此外，对提出协议的安全性采用不同方法进行了详细的分析和证明，并对提出协议的性能进行了实验对比分析。 本书针对不同应用
PhotoshopDreamweaverFlash3个软件是主流的网页设计三剑客，它们广泛应用于网页设计领域，其中PhotoshopCS6通常用来设计网页效果图，DreamweaverCS6主要用来合成网页页面，而FlashCS6则用来制作网页中需要的动画效果。本书即以PhotoshopDreamweaverFlash
文明史的显著特征之一，是随着不同文化因子的混合而发生互通互融，而不是冲突。尼尔弗格森 21世纪被称为网络时代，但事实上，网络早已存在。从印刷术的诞生到网络社群爆发，在《广场与高塔》这本书中，弗格森通贯古今，以新奇的视角，为我们重铸了一个个有形的和无形的网络。从神秘的共济会、辉煌的罗斯柴尔德家族、复杂的萨克森科堡哥达邦联
本书共分为25章，由浅入深，循序渐进地讲解了Excel2019相关知识，分别从Excel基础知识、函数、图表、数据分析以及宏和VBA几个方面进行了详细的介绍。本书图文结合，重要知识点以实例介绍，易于读者理解。
全书共25章，内容包括初识Excel2019、设置Excel2019工作环境、工作表基本操作、工作表页面布局与打印设置、数据有效性与条件格式应用、数据排序与筛选、数据处理与分析、数据组合与分类汇总、名称定义使用、公式与函数基础、逻辑函数应用、文本与信息处理函数应用、日期与时间函数应用、数学函数应用、数据库函数应用技巧、
本书根据实际教学经验及高校学生的反馈，摒弃了传统的、大段文字理论的模式，采用先实例后基础的讲解模式。全书共分10章，按照平面设计工作的实际需求组织内容，基础知识以实用、够用为原则。主要内容包括PhotoshopCC的奇妙之旅、基础图形的绘制、数码照片的编辑——图像的处理、个性按钮及图像设计与处理——图层的应用、手绘技法
1.观众满意的才是好PPT，不是自己满意 《好PPT坏PPT锐普的100个PPT秘诀》是从PPT的本质（观众的认知工具）出发，站在观众体验的角度，揭示好PPT的五个层次：可信、放松、悦目、动心、惊喜，并围绕这五个层次阐述了好PPT的100条秘诀。 2.游戏化学习，边猜边学，乐趣无穷 《好PPT坏PPT锐普的100个PP
《Excel其实并不难方法对就简单了》是作者近20年从事企业Excel培训工作的经验总结。书中详细介绍了Excel的使用规则，并以数据输入计算查询分析制图这样的工作流的方式进行讲解，摒弃了传统的根据菜单或者功能分类介绍的方式。 本书内容紧凑生动，且极具实用性。同时，作者还把数据分析中各种问题出现的原因一一做了详尽的讲解
书单推荐
