600分专题 高中数学算法、流程图、复数、推理与证明

本书是《600分专题》套书中的一种。《600分专题》套书是聘请优秀中学教师，专门针对即将参加高考的尖子生，编写的专题性高考教辅图书，目的是帮助考生高考夺标，力争高考总分突破600分。《600分专题》是针对中等生...

安全协议 理论与实践

本书共分16章，系统地介绍安全协议的基本理论、关键技术以及典型应用和实践。主要包括密码算法基础知识、可证明安全性、形式化、混合、零知识证明、安全多方计算等基础理论和方法。...

安全协议原理与验证

本书内容包括安全协议基本原理介绍、安全性分析以及密码学基础；2、安全协议原理，内容包括安全协议概述、经典的密码交换及认证协议、电子商务协议以及应用中的安全协议；3、安全协议的分析与验证方法，内容包括BA...

网络安全基础 网络攻防、协议与安全

本书从网络攻防、协议与安全解决方案的角度阐述网络安全，把网络看成安全与不安全的源头。全书共分为四部分，第一部分讨论网络概念与威胁的入门知识，分别介绍了网络体系结构、网络协议、互联网和网络漏洞的分类...

密码协议 基于可信任新鲜性的安全性分析 英文版

本书主要讨论如何利用系统工程思想和可信任新鲜性的方法，分析和设计密码通信协议。基于可信任的新鲜性标识符概念，提出了一个新颖的新鲜性原则，该原则指出了一种有效的、易用的密码协议安全性分析方法。利用这...

常用合同协议制定与范例大全

有趣的哲学启蒙书 芝诺 推理与证明的故事

金英俊，明智中学二年级学生，大名鼎鼎的“悖论队长”。可谁知道他以前却是全校有名的“电脑游戏队长”。而这一切都是一场电脑故障引发出来的。在电脑发生逻辑谬误之后，金英俊和弟弟柱浩回到了古希腊，在街头认识...

专题调研 问题诊断学习法 数学 7 破解数列&不等式、推理与证明 61个高考大问题

本套图书是定位于高中新课标专题讲解辅导读物。

TRIPS协议与商业秘密民事救济制度比较研究

本书主要研究了世贸组织相关协议下，对于“商业秘密民事救济”中存在的诸多问题，诸如行为判定、举证责任等难点。这对我国企业在国际贸易中如何通过司法保护自身利益有借鉴意义。...

巴塞尔新资本协议 监管要求与实施中的问题

本书内容包括：新协议与银行风险管理的观念变革、新协议的监管导向、低违约组合（Low Default Portfolio）——银行暴露、企业暴露的模型与政策、零售暴露风险计量模型的开发与运用、内部评级体系的全面验证、其...