Security Protocols: Verification and Design Automation - Pavel Ocenasek - 書籍 - LAP LAMBERT Academic Publishing - 9783838360409 - 2010年11月7日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Pavel Ocenasek
Security Protocols: Verification and Design Automation

価格
¥ 7.160
税抜

遠隔倉庫からの取り寄せ

発送予定日 年11月18日 - 年11月30日
クリスマスプレゼントは1月31日まで返品可能です
Pavel Ocenasek の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

This book gives the state of the art of the design and verification of security protocols and presents the evolutionary approach used for the automatic design of protocols for authentication and/or key distribution. The presented approach is based on natural evolution and employs the grammar-based generation of communication schemes according to the design and security requirements. Selected heuristic strategies are also considered to satisfy some design expectations.

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2010年11月7日
ISBN13 9783838360409
出版社 LAP LAMBERT Academic Publishing
ページ数 112
寸法 226 × 7 × 150 mm   ·   185 g
言語 ドイツ語  

Pavel Ocenasekのすべてを見る