登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　運費計算　 |　聯絡我們　 |　幫助中心　|　 加入書簽
會員登入   新用戶登記
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類瀏覽雜誌 臺灣用戶
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 服務：香港／台灣／澳門／海外 送貨：速遞／郵局／服務站

新書上架：簡體書 繁體書
暢銷書架：簡體書 繁體書
好書推介：簡體書 繁體書

五月出版：大陸書 台灣書
四月出版：大陸書 台灣書
三月出版：大陸書 台灣書
二月出版：大陸書 台灣書
一月出版：大陸書 台灣書
12月出版：大陸書 台灣書
11月出版：大陸書 台灣書
十月出版：大陸書 台灣書
九月出版：大陸書 台灣書
八月出版：大陸書 台灣書
七月出版：大陸書 台灣書
六月出版：大陸書 台灣書
五月出版：大陸書 台灣書
四月出版：大陸書 台灣書
三月出版：大陸書 台灣書

『簡體書』安全协议实施自动化生成与验证

書城自編碼： 2929312
分類：簡體書→大陸圖書→計算機/網絡→網絡與數據通信
作者： 孟博，王德军
國際書號(ISBN)： 9787030508676
出版社： 科学出版社有限责任公司
出版日期： 2016-11-01
版次： 1 印次： 1

書度/開本： 16 釘裝： 平装

售價：HK$ 102.0

我要買 件

share:

** 我創建的書架 **
未登入.


新書推薦：
美国中国史研究
《 美国中国史研究 》
售價：HK$ 97.9
元气女子养成记 ①怡然自得的心情 ②毫不费力的穿搭
《 元气女子养成记 ①怡然自得的心情 ②毫不费力的穿搭 》
售價：HK$ 162.8
战天京：晚清军政传信录
《 战天京：晚清军政传信录 》
售價：HK$ 96.8
恢复、道学、权臣：南宋中期政治研究
《 恢复、道学、权臣：南宋中期政治研究 》
售價：HK$ 107.8
萤火虫全球史068：历史上著名的101座城堡
《 萤火虫全球史068：历史上著名的101座城堡 》
售價：HK$ 83.6
大争之世：改变古代中国的十五次战争
《 大争之世：改变古代中国的十五次战争 》
售價：HK$ 96.8
基础肌动学手册（第20版）
《 基础肌动学手册（第20版） 》
售價：HK$ 151.8
草原帝国（精装本）
《 草原帝国（精装本） 》
售價：HK$ 121.0

內容簡介：
本书共分五篇15章。系统地全面介绍了安全协议实施生成与验证的基本理论和关键技术及最新成果。主要内容包括安全协议协议规范形式化分析与验证技术、安全协议实施的生成与验证技术及其国内外发展现状、应用PI演算、一阶定理证明器ProVerif及应用、概率进程演算Blanchet演算、自动化安全协议证明器CryptoVerif及应用、基于计算模型自动化验证安全协议Java实施认证性、基于计算模型生成密码学安全的安全协议Java实施、基于符号模型生成密码学安全的安全协议Java实施等。

 

 

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式 香港用户　 |　台灣用户　|　海外用户
megBook.com.hk
Copyright © 2013 - 2025 （香港）大書城有限公司　 All Rights Reserved.