登入帳戶  | 訂單查詢  | 購物車/收銀台(0) | 在線留言板  | 付款方式  | 聯絡我們  | 運費計算  | 幫助中心 |  加入書簽
會員登入   新用戶註冊
HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類閱讀雜誌 香港/國際用戶
最新/最熱/最齊全的簡體書網 品種:超過100萬種書,正品正价,放心網購,悭钱省心 送貨:速遞 / 物流,時效:出貨後2-4日

2024年10月出版新書

2024年09月出版新書

2024年08月出版新書

2024年07月出版新書

2024年06月出版新書

2024年05月出版新書

2024年04月出版新書

2024年03月出版新書

2024年02月出版新書

2024年01月出版新書

2023年12月出版新書

2023年11月出版新書

2023年10月出版新書

2023年09月出版新書

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

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

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

售價:NT$ 510

我要買

share:

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



新書推薦:
微观经济学(第三版)【2024诺贝尔经济学奖获奖者作品】
《 微观经济学(第三版)【2024诺贝尔经济学奖获奖者作品】 》

售價:NT$ 709.0
Python贝叶斯深度学习
《 Python贝叶斯深度学习 》

售價:NT$ 407.0
文本的密码:社会语境中的宋代文学
《 文本的密码:社会语境中的宋代文学 》

售價:NT$ 306.0
启微·狂骉年代:西洋赛马在中国
《 启微·狂骉年代:西洋赛马在中国 》

售價:NT$ 357.0
有趣的中国古建筑
《 有趣的中国古建筑 》

售價:NT$ 305.0
十一年夏至
《 十一年夏至 》

售價:NT$ 347.0
如何打造成功的商业赛事
《 如何打造成功的商业赛事 》

售價:NT$ 407.0
万千教育学前·透视学前儿童的发展:解析幼儿教师常问的那些问题
《 万千教育学前·透视学前儿童的发展:解析幼儿教师常问的那些问题 》

售價:NT$ 265.0

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

 

 

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