XQuery 語言原理和實現技術 XQuery语言原理和实现技术

<內容簡介>

本書全面介紹了對國內外遠程安全控制模型、設計及其實現技術,主要內容包含:遠程控制協議的分類和模型,緊密相關的密碼學技術,最新的典型的遠程控制協議,基於符號模型和計算模型的自動化/手工方式分析與驗證遠程控制協議安全性。