Formal Correctness of Security Protocols - Information Security and Cryptography - Giampaolo Bella - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783642087820 - 2010年11月30日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Giampaolo Bella
Formal Correctness of Security Protocols - Information Security and Cryptography 1st Ed. Softcover of Orig. Ed. 2007 edition

価格
¥ 8.406
税抜

遠隔倉庫からの取り寄せ

発送予定日 年9月30日 - 年10月12日
Giampaolo Bella の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

他の形態でも入手可能：

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.

274 pages, 64 black & white illustrations, 3 black & white tables, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2010年11月30日
ISBN13 9783642087820
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 274
寸法 156 × 234 × 15 mm   ·   417 g
言語 英語  

同じ出版社からのその他の記事

Giampaolo Bellaのすべてを見る