Formal Models and Techniques for Analyzing Security Protocols: A Tutorial - Foundations and Trends (R) in Programming Languages - Veronique Cortier - 書籍 - now publishers Inc - 9781601989024 - 2014年11月13日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Veronique Cortier
Formal Models and Techniques for Analyzing Security Protocols: A Tutorial - Foundations and Trends (R) in Programming Languages

商品が入荷したらメールで通知を受け取る
プロフィールはありますか？ ログイン
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

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

Provides the reader with a tutorial on some modern techniques to model and automatically analyse security protocols. Given the large body of work in this area, it does not aim to be exhaustive so the focus is on some selected methods and results.

134 pages

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2014年11月13日
ISBN13 9781601989024
出版社 now publishers Inc
ページ数 134
寸法 156 × 234 × 7 mm   ·   199 g
言語 英語  

Veronique Cortierのすべてを見る ( 例： Paperback Book )