本書(shū)系統(tǒng)地講解了利用形式化方法對(duì)網(wǎng)絡(luò)協(xié)議及系統(tǒng)進(jìn)行安全性分析的原理、流程和典型工具，結(jié)合科研實(shí)例深入淺出地介紹了形式化安全方法的范疇、類(lèi)型和使用技巧。全書(shū)內(nèi)容密切圍繞國(guó)家安全戰(zhàn)略需求，緊跟時(shí)代發(fā)展，是對(duì)多年來(lái)該領(lǐng)域的科學(xué)研究與工程實(shí)踐中基本原理與共性技術(shù)的歸納總結(jié)。本書(shū)分為三個(gè)單元，共8章。第一單元（第1～4章）主要介

本書(shū)介紹了網(wǎng)絡(luò)個(gè)人標(biāo)識(shí)信息的概念、研究意義，闡述了國(guó)內(nèi)外隱私保護(hù)相關(guān)法律法規(guī)的理念和區(qū)別，分析了國(guó)內(nèi)外隱私泄露檢測(cè)技術(shù)研究的區(qū)別與聯(lián)系，總結(jié)了海量網(wǎng)絡(luò)流量數(shù)據(jù)信息采集及數(shù)據(jù)預(yù)處理的框架和基本方法，并結(jié)合用戶(hù)實(shí)體行為分析、網(wǎng)絡(luò)流量協(xié)議分析和自然語(yǔ)言處理等技術(shù)，提出了個(gè)人標(biāo)識(shí)信息隱私泄露檢測(cè)方法。 本書(shū)可作為計(jì)算機(jī)科學(xué)與技

《AdobeAnimate2024經(jīng)典教程》由Adobe產(chǎn)品專(zhuān)家編寫(xiě)，是AdobeAnimate2024的經(jīng)典學(xué)習(xí)用書(shū)�！禔dobeAnimate2024經(jīng)典教程》共9課，每一課先介紹重要的知識(shí)點(diǎn)，然后借助具體的示例進(jìn)行講解，步驟詳細(xì)，重點(diǎn)明確，能幫助讀者盡快學(xué)會(huì)如何進(jìn)行實(shí)際操作。本書(shū)主要包含認(rèn)識(shí)Animate、創(chuàng)建圖

本書(shū)是一本面向Web前端開(kāi)發(fā)學(xué)習(xí)者的入門(mén)圖書(shū)，以項(xiàng)目驅(qū)動(dòng)式的體例、通俗易懂的語(yǔ)言，詳細(xì)講解HTML5+CSS3+Bootstrap響應(yīng)式Web開(kāi)發(fā)技術(shù)。 本書(shū)共10章。第1～2章講解HTML和CSS的基礎(chǔ)知識(shí)；第3章講解表格和表單；第4章講解JavaScript與視頻、音頻；第5章講解階段項(xiàng)目—在線(xiàn)學(xué)習(xí)平臺(tái)；第6章講解

AutoCAD作為工程設(shè)計(jì)領(lǐng)域軟件工具的典范，憑借卓越的性能成為設(shè)計(jì)師的得力助手。隨著人工智能（ArtificialIntelligence，AI）技術(shù)的日新月異及其在各領(lǐng)域的廣泛應(yīng)用，AutoCAD的功能范疇與應(yīng)用技術(shù)也隨之產(chǎn)生了變化，AI輔助AutoCAD繪圖極大地提升了設(shè)計(jì)效率，推動(dòng)設(shè)計(jì)領(lǐng)域邁上了新臺(tái)階。本書(shū)旨在

HTML5與CSS3是網(wǎng)頁(yè)制作技術(shù)的核心，也是每位網(wǎng)頁(yè)制作者都需要掌握的基礎(chǔ)知識(shí)。本書(shū)從初學(xué)者的角度出發(fā)，以形象的比喻、實(shí)用的案例、通俗易懂的語(yǔ)言詳細(xì)介紹如何使用HTML5與CSS3進(jìn)行網(wǎng)頁(yè)設(shè)計(jì)與制作的相關(guān)知識(shí)和技巧。 全書(shū)共12章，第1～4章主要講解HTML5與CSS3的基礎(chǔ)知識(shí)，內(nèi)容包括網(wǎng)頁(yè)設(shè)計(jì)概述、初識(shí)HTML5

根據(jù)高等院校的培養(yǎng)目標(biāo)、培養(yǎng)特點(diǎn)和培養(yǎng)要求，本書(shū)由淺入深、全面系統(tǒng)地講解網(wǎng)絡(luò)系統(tǒng)集成的知識(shí)和實(shí)用技能。本書(shū)共6個(gè)項(xiàng)目，包括網(wǎng)絡(luò)系統(tǒng)集成緒論、網(wǎng)絡(luò)系統(tǒng)集成需求分析、網(wǎng)絡(luò)系統(tǒng)集成規(guī)劃設(shè)計(jì)與實(shí)施、網(wǎng)絡(luò)系統(tǒng)集成安全與管理、綜合布線(xiàn)系統(tǒng)以及網(wǎng)絡(luò)系統(tǒng)集成工程測(cè)試與驗(yàn)收。為了讓讀者更好地鞏固所學(xué)知識(shí)，每個(gè)項(xiàng)目都配備了項(xiàng)目實(shí)訓(xùn)和課后習(xí)

本書(shū)按照華為HCIASecurity的最新大綱，介紹了華為HCIASecurity認(rèn)證，如網(wǎng)絡(luò)安全基礎(chǔ)知識(shí)和技能所需的內(nèi)容。HCIASecurity認(rèn)證幫助網(wǎng)絡(luò)工程師使用華為安全設(shè)備規(guī)劃設(shè)計(jì)和搭建中小型企業(yè)安全網(wǎng)絡(luò)，綜合應(yīng)用包過(guò)濾、NAT、網(wǎng)絡(luò)互聯(lián)、VPN、準(zhǔn)入控制等相關(guān)技術(shù)，保障網(wǎng)絡(luò)的安全運(yùn)維與管理。本書(shū)不僅是所有正

本書(shū)深入淺出地講解了StableDiffusion在A(yíng)IGC繪畫(huà)與視頻生成領(lǐng)域的相關(guān)原理與應(yīng)用。本書(shū)共7章，第1章為初識(shí)AI繪畫(huà)，第2章為文生圖，第3章為圖生圖，第4章為L(zhǎng)ora模型，第5章為ControlNet插件基礎(chǔ)，第6章為AI視頻生成，第7章為綜合實(shí)例。本書(shū)內(nèi)容豐富，圖文并茂，通俗易懂，可作為高等院校視覺(jué)傳達(dá)、

本書(shū)講解PhotoshopCC在平面設(shè)計(jì)中的各種應(yīng)用，主要內(nèi)容包括Photoshop與平面設(shè)計(jì)的基礎(chǔ)知識(shí)，Photoshop的各項(xiàng)功能與工具，以及Photoshop平面設(shè)計(jì)的綜合實(shí)戰(zhàn)。本書(shū)理論與實(shí)踐緊密結(jié)合，以課前預(yù)習(xí)幫助讀者理解課堂內(nèi)容、培養(yǎng)學(xué)習(xí)興趣，以課堂案例帶動(dòng)知識(shí)點(diǎn)的講解，每個(gè)案例配有詳細(xì)的圖文操作說(shuō)明及配套操