本書介紹安全協(xié)議及其驗(yàn)證方法，主要內(nèi)容包括四部分：第一部分為基礎(chǔ)知識(shí)，包括安全協(xié)議基本原理介紹、安全性分析以及密碼學(xué)基礎(chǔ)；第二部分為安全協(xié)議原理，包括安全協(xié)議概述、認(rèn)證與密鑰交換協(xié)議、電子商務(wù)協(xié)議以及實(shí)際使用中的安全協(xié)議；第三部分為安全協(xié)議的分析、驗(yàn)證方法，包括BAN邏輯、BAN類邏輯、Kailar邏輯、CS邏輯和串空

本書共分為八個(gè)章節(jié)，以軟件測(cè)試工作流程為主線，軟件測(cè)試技術(shù)為抓手，通過(guò)常用測(cè)試工具和實(shí)踐案例來(lái)介紹單元測(cè)試、功能測(cè)試、移動(dòng)應(yīng)用測(cè)試、性能測(cè)試、嵌入式測(cè)試、大數(shù)據(jù)測(cè)試和機(jī)器學(xué)習(xí)測(cè)試的實(shí)施過(guò)程。本書的讀者對(duì)象是軟件工程初學(xué)者、軟件工程專業(yè)實(shí)踐者以及參加“大學(xué)生軟件測(cè)試大賽”的學(xué)生。

本書突出重點(diǎn)地介紹了數(shù)據(jù)庫(kù)系統(tǒng)的基本概念、基本原理和基本設(shè)計(jì)方法，同時(shí)以SQLServer為背景介紹了數(shù)據(jù)庫(kù)原理的技術(shù)應(yīng)用（實(shí)驗(yàn)方式）。全書共有6章及14個(gè)實(shí)驗(yàn)，第1部分?jǐn)?shù)據(jù)庫(kù)原理知識(shí)內(nèi)容包括：數(shù)據(jù)庫(kù)系統(tǒng)概述、數(shù)據(jù)模型、數(shù)據(jù)庫(kù)系統(tǒng)結(jié)構(gòu)，關(guān)系數(shù)據(jù)理論，SQL語(yǔ)言，關(guān)系數(shù)據(jù)庫(kù)設(shè)計(jì)理論，數(shù)據(jù)庫(kù)設(shè)計(jì)，SQLServer數(shù)據(jù)庫(kù)管

《信息安全導(dǎo)論》作為計(jì)算機(jī)科學(xué)與技術(shù)（信息安全方向）專業(yè)必修課程，本教材堅(jiān)持需求驅(qū)動(dòng)、問題導(dǎo)向和目標(biāo)導(dǎo)向，理論與實(shí)踐緊密結(jié)合，實(shí)用性強(qiáng)，向?qū)W生傳授解決信息安全問題的方法和技術(shù)同時(shí)，立德樹人，向?qū)W生傳授主流價(jià)值觀和方法論，不僅較全面地介紹信息安全技術(shù)、安全管理、法律法規(guī)以及倫理道德，也從章節(jié)安排上向?qū)W生傳遞主流文化和世界

《這就是計(jì)算機(jī)》是一套專門為6-12歲的孩子打造的計(jì)算機(jī)科普書，一套8冊(cè)6大主要領(lǐng)域，近200個(gè)知識(shí)點(diǎn)，在內(nèi)容上涉及了計(jì)算機(jī)重要組成的6大部分，包括芯片、數(shù)據(jù)、算法、編程、軟件、互聯(lián)網(wǎng)，了解計(jì)算機(jī)必先了解這六個(gè)方面。全套書從計(jì)算機(jī)發(fā)展現(xiàn)狀開始講起，然后分別從計(jì)算機(jī)這六大組成部分的角度依次向孩子講解計(jì)算機(jī)科學(xué)知識(shí)，后立足

本書結(jié)合MySQL8數(shù)據(jù)庫(kù)管理系統(tǒng)，基于"與企業(yè)應(yīng)用、崗位技能相符”的原則，按照項(xiàng)目教學(xué)的基本規(guī)律編寫。全書以項(xiàng)目為導(dǎo)向、以工作任務(wù)為主線，以MySQL數(shù)據(jù)庫(kù)的管理與應(yīng)用開發(fā)任務(wù)為載體，重點(diǎn)介紹以下知識(shí)與技能：MySQL數(shù)據(jù)庫(kù)環(huán)境的建立及其連接；數(shù)據(jù)庫(kù)及各種數(shù)據(jù)庫(kù)對(duì)象的創(chuàng)建與管理；數(shù)據(jù)的增刪改及查詢；索引與視圖；MyS

本書是基于銀河麒麟服務(wù)器操作系統(tǒng)，以企業(yè)級(jí)云原生案例實(shí)戰(zhàn)為主導(dǎo)的，用于培養(yǎng)云原生運(yùn)維工程師的圖書。本書偏重典型案例的實(shí)操，旨在培養(yǎng)讀者的動(dòng)手操作能力。本書以項(xiàng)目任務(wù)化的形式組織內(nèi)容，以銀河麒麟服務(wù)器操作系統(tǒng)為載體，精選企業(yè)級(jí)的常用云原生服務(wù)經(jīng)典案例進(jìn)行詳細(xì)的講述。全書共分為6個(gè)項(xiàng)目，內(nèi)容包括Kubernetes基礎(chǔ)、K

本書以Docker和Kubernetes為重點(diǎn)，從Docker的基本使用入手，深入淺出的講解了容器云基礎(chǔ)組建Docker的構(gòu)建、操作、技術(shù)原理和實(shí)際使用過(guò)程中的典型案例。進(jìn)而詳細(xì)介紹了Kubernetes的基本原理、安裝部署、資源管理等內(nèi)容，最后通過(guò)持續(xù)集成的典型案例講解了Kubernetes的最佳實(shí)踐。全書共分為Do

本書以虛擬人物"小張”在工作中的成長(zhǎng)過(guò)程為線索，將全書分為11個(gè)進(jìn)階式項(xiàng)目，內(nèi)容上涵蓋了網(wǎng)絡(luò)工作的各個(gè)方面，主要包括認(rèn)識(shí)計(jì)算機(jī)網(wǎng)絡(luò)、組建Windows對(duì)等網(wǎng)、連接到Internet、規(guī)劃設(shè)計(jì)中型局域網(wǎng)、實(shí)戰(zhàn)配置交換機(jī)（華為）、實(shí)戰(zhàn)配置路由器（華為）、創(chuàng)建域服務(wù)器、搭建Windows專用服務(wù)器、局域網(wǎng)管理和網(wǎng)絡(luò)安全、分析

本書以初學(xué)者為對(duì)象，用通俗易懂的語(yǔ)言和豐富的實(shí)例，詳細(xì)介紹了PHP網(wǎng)站開發(fā)的基礎(chǔ)知識(shí)和實(shí)操技巧。全書共分為12個(gè)項(xiàng)目，涵蓋了PHP環(huán)境搭建與開發(fā)工具、PHP語(yǔ)言基礎(chǔ)、流程控制語(yǔ)句、PHP數(shù)組、Cookie與Session、圖形圖像處理技術(shù)、MySQL數(shù)據(jù)庫(kù)基礎(chǔ)以及PHP操作MySQL數(shù)據(jù)庫(kù)等關(guān)鍵知識(shí)點(diǎn)。在項(xiàng)目實(shí)戰(zhàn)篇中，