Formal Correctness of Security Protocols
Giampaolo Bella
下單後立即進貨 (1週~2週)
買這商品的人也買了...
-
![]()
$650$618工程電磁學 (Engineering Electromagnetics, 7/e)
-
![]()
$300$237邏輯思考的技術
-
![]()
$500$395Java Pitfalls 中文版 (Java Pitfalls)
-
![]()
$650$553Microsoft Visual C# 2008 精研講座
-
![]()
$550$468Microsoft LINQ 最佳實務講座
-
![]()
$590$460VBScript 500 個活用範例 Windows 自動化技術大全 for Vista/XP/2000
-
![]()
$1,925Web Data Mining: Exploring Hyperlinks, Contents, and Usage Data 2/e(Hardcover)
-
![]()
$720$569Java SE6 全方位學習
-
![]()
$580$493Linux Mail Server 技術實務─架設、稽核、防毒、防垃圾信
-
![]()
$650$553Fedora 8 Linux 架站實務
-
![]()
$720$569聖殿祭司的 ASP.NET 2.0 專家技術手冊─使用 C#, 2/e
-
![]()
$600$480現代嵌入式系統開發專案實務－菜鳥成長日誌與專案經理的私房菜
-
![]()
$580$493CSS 設計點子爆米花
-
![]()
$590$502C++ Builder 6 程式設計快樂上手
-
![]()
$480$408Flash CS3 ActionScript 3.0 打造互動網頁的力與美
-
![]()
$490$382最新詳解 JavaScript & HTML & CSS 語法辭典(增訂第三版)
-
![]()
$850$723Microsoft ADO.NET 3.5 精研講座
-
![]()
$420$357Mac 問題追緝令－Leopard、Tiger 全適用
-
![]()
$1,000Digital Signal Processing Using MATLAB, 2/e (IE)
-
![]()
$2,831Unix Systems Programming: Communication, Concurrency and Threads, 2/e (Hardcover)
-
![]()
$680$537演算法使用 C++ 虛擬碼 (Foundations of Algorithms Using C++ Pseudocode, 3/e)
-
![]()
$800$680Head First 深入淺出 HTML、CSS 與 XHTML (Head First HTML with CSS & XHTML)
-
![]()
$1,180$1,003CCNA 認證教戰手冊 (CCNA: Cisco Certified Network Associate Study Guide (Exam 640-802), 6/e)
-
![]()
$680$537C 語法暨程式庫標準辭典 (C In A Nutshell: A Desktop Quick Reference)
-
![]()
$380$300Peopleware：腦力密集產業的人才管理之道 (Peopleware: Productive Projects and Teams, 2/e)
商品描述
The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols examined include Kerberos versions, smartcard protocols, non-repudiation protocols, and certified email protocols. The method of analysis turns out to be both powerful and flexible. This research advances significant extensions to the method of analysis, while the findings on the protocols analysed are novel and illuminating.